Poly / ML中的共享库

Question

是否可以使用Poly / ML构建共享库？ 我希望能够为Poly / ML库创建C API，并从不同的编程语言（例如Python）调用/加载它。有没有人试着这样做？ 我知道这可以在OCaml中完成：

• How can I call OCaml functions from a Python program?

Answer 1

以下是Poly / ML主要开发人员David Matthews（http://www.polyml.org/）提供的答案：

  

简单的答案是否定的，至少目前是这样。我看了一下这个   并想知道是否有可能。外来功能界面   允许回调函数，因此有生成a的机制   C函数在被​​调用时调用ML函数。困难我   可以看到是为了生成一个共享库的闭包   对于C函数必须“unicked”以便重定位信息   可以为闭包内的地址生成。我必须补充一下   有一些东西让libffi这样做。它看起来并不太难   X86，但我还没有采取任何进一步措施。可能还有其他问题   我不知道。