Poly/ML中的共享库

Question

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

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

Answer 1

这里是（http://www.polyml.org/）由大卫·马修斯，保利/ ML的主要开发者提供一个答案：

答案很简单：至少在目前是否定的。我看了看这 ，并想知道是否有可能。外部函数接口 允许回调函数，所以有机制产生一个C函数，当被调用时调用ML函数。 I 可能会看到的困难是为了生成共享库，C函数的关闭 必须被“取消”，以便可以针对闭包内的地址产生重定位信息 。我不得不添加 的东西来libffi做到这一点。对于 X86，它不会太难，但我没有更进一步。可能还有其他我不知道的问题 。