Sml Poly/ML中的共享库

是否可以使用Poly/ML构建共享库？ 我希望能够为Poly/ML库创建

C

API，并从不同的编程语言（例如Python）调用/加载它。有人试过这么做吗？ 我知道这可以在OCaml中完成：

---

以下是Poly/ML主要开发商David Matthews（）提供的答案：
答案很简单，至少目前是否定的。我看了一下这个 想知道这是否可能。外部功能接口 允许回调函数，因此有产生 C函数，调用时调用ML函数。我遇到的困难 可以看到的是，为了产生一个共享库的关闭 对于C函数，必须“取消勾选”，以便重新定位信息 可以为闭包内的地址生成。我必须补充一点 让Liffi做点什么。这看起来对我来说并不难 X86，但我还没有进一步研究。可能还有其他问题 我不知道