frege - 搜索现有的 Frege java 本机绑定，例如 java.nio.file.Path

Question

我正在尝试将一个简单的 java 项目移植到 Frege 进行练习。我花了一些时间寻找绑定java.nio.file.Path，除其他外。我找到了https://github.com/Frege/frege/blob/master/frege/java/IO.fr，它很接近，但没有nio。接下来我想我会手动完成或尝试https://github.com/Frege/frege-native-gen。

好的，所以我的问题是“推荐的 java 绑定方法是什么”？这个问题不仅限于java.nio.*. 更具体地说，如果我找不到我想要的绑定，我应该

1. 为他们寻找一些标准项目，如果我找不到他们，贡献我自己的？
2. 使用生成工具创建我自己的？
3. 做一些这里没有提到的事情吗？

Answer 1

这将视情况而定。例如，通常情况下，您可以让您的项目使用 2 或 3 个本机定义。

OTOH，非常欢迎使用 Java SDK 绑定贡献一个新模块。但请注意，这并不总是微不足道的，因为本机生成工具通常会创建需要仔细检查和手动改进的代码。

规则是应开箱即用地支持 Java SDK（它还不是您所发现的）。对于其他库，可能存在值得寻找的现有项目。