I am trying to port a simple java project over to Frege for practice. I spent a bit of time looking for bindings for java.nio.file.Path
, among other things. I found https://github.com/Frege/frege/blob/master/frege/java/IO.fr, which is close, but no nio
there. Next I thought I would just do it by hand or try https://github.com/Frege/frege-native-gen.
Okay, so my question is "what is the recommended way to do java bindings"? This question is not just limited to java.nio.*
. More specifically, if I cannot find the bindings I want, should I
- Look in some standard project for them and contribute my own if I cannot find them?
- Use the generation tool to create my own?
- Do something else not mentioned here?