要約
Poly/MLは、実験的な言語Polyで書かれたStandard MLの実装です。バージョン4.0以降、ML97標準に完全対応しており、互換性のある拡張を避けつつ、スレッドライブラリなどのさまざまなライブラリ拡張を追加しています。Poly/MLは、活発な開発が進められており、特異な機能が魅力的な実装となっています。
Poly/MLは、高速コンパイラを備えており、大規模プロジェクトであるIsabelleやHOLの推奨実装として知られています。外部関数インターフェースにより、静的および動的ライブラリをロードし、その関数をPoly/ML関数として利用できることも特徴です。また、シンボリックデバッガーやWindowsプログラミングインターフェースも提供されています。
さらに、スレッドライブラリを通じて複数のコアを活用することが可能で、ガーベジコレクタも並列化されています。Poly/MLは、i386およびARMアーキテクチャにネイティブ対応しており、他のアーキテクチャでもバイトコードインタープリタを使用して動作します。サポートのためのメーリングリストも用意されています。
元記事: https://github.com/polyml/polyml
公開日: Mon, 06 Jul 2026 22:28:06 +0000
この記事はAIアシスト編集により作成されています。
📰 元記事: 元記事を読む