使用FFI从OCaml调用Haskell代码

Question

6

我希望使用FFI从Haskell源代码库中暴露一个函数，并在OCaml代码中使用它。我看到了使用foreign export ccall语法的各种示例，这使我相信可以将函数导出以供C使用。那么对于OCaml来说有类似的东西吗？实现这个的最佳方法是什么？

- Kapil

3

可能需要使用C语言作为通用语言，并进行所需的调度处理Haskell<->C<->Ocaml。我认为没有更简单的方法，因为Haskell和Ocaml具有非常不同的运行时系统。例如，在这两种语言中，一对整数具有非常不同的表示方式，因此需要相应地进行转换。 - chi

1

请参阅手册中的C与OCaml接口和ctypes库。 - antron

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- chrismamo1 · Answer 1

如果这个foreign export ccall按照我的想法工作，那么你最终应该得到一个与C编译器生成的共享对象文件大致相同的文件。假装这是真的，并将该对象文件提供给链接器即可。