我想写一个OCaml库,它将被其他编程语言使用,如C或甚至python.
我不确定它是否可行,我想我需要放弃一些类型安全性并将动态检查添加到接口以获得动态类型语言.
它可行吗？是否有工具来实现此目标以自动生成绑定？我认为像Corba这样的东西不适合ocaml ABI,但我可能错了.
编辑:通过删除运行时要求并只使用具有llvm前端的语言,我可以使用llvm作为常见的ABI我猜,但它似乎很棘手.
我不知道,也不能在C++中找到正确的方法来输入浮点常数.
如果我想2 ^ -52,我该怎么写？而且,<<浮动是什么？那是对的吗 ？
const double pres = 1>>52