sml - Poly/ML の共有ライブラリ

Question

Poly/ML を使用して共有ライブラリを構築することは可能ですか? CPoly/ML ライブラリの API を作成し、さまざまなプログラミング言語 (Python など) から呼び出し/ロードできるようにしたいと考えています。誰かがそれをやろうとしましたか？これはOCamlで実行できることを知っています：

• Python プログラムから OCaml 関数を呼び出すにはどうすればよいですか?

Answer 1

これは、Poly/ML のメイン開発者である David Matthews による回答です ( http://www.polyml.org/ )。

少なくとも現時点では、単純な答えはノーです。私はこれを見て、それが可能かどうか疑問に思いました。外部関数インターフェイスはコールバック関数を許可するため、呼び出されたときに ML 関数を呼び出す C 関数を生成するメカニズムがあります。私が見た難しさは、共有ライブラリを生成するには、C 関数のクロージャを「選択解除」して、クロージャ内のアドレスの再配置情報を生成できるようにする必要があることでした。そのためには、libffi に何かを追加する必要があります。X86 にとってはそれほど難しくないように見えますが、それ以上のことはしていません。私が気付いていない他の問題があるかもしれません。