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，它不會太難，但我沒有更進一步。可能還有其他我不知道的問題 。