Standard MLのモジュールシステムとOCamlモジュールシステムの違いは何ですか？

Question

私の質問は、Standard MLのモジュールシステムとOCamlモジュールシステムとの間に相違があるかどうかです。 OCamlはfunctor、ascriptionsなどのサポートをしていますか？SMLには？

Answer 1

機能的にも意味的にもいくつかの違いがあります。

SMLをサポートしていなく、OCamlの特長：種類以上

• 透明署名帰属
• モジュールレベルlet
• 対称共有制約ファンクタのため
• シンタックスシュガーと

値特徴OCaml 4はSMLを持っていません：

• 高次ファンクタ
• 再帰モジュール
• ローカルモジュール
• ネストされたファーストクラスとして
• モジュール署名
• 一般的なモジュールの共有（sig with module A = M）
• module type of

値

いくつかのSML実装では、これらを拡張機能として提供しています。 （SML/NJ、Alice ML）、モジュール共有（SML/NJ、Alice ML）、ネストされたシグネチャ（Moscow ML、Alice ML）などの高次ファンクタ（SML/NJ、モスクワML、アリスML）、ローカルおよびファーストクラスのモジュール（モスクワML、アリスML） 、および再帰的モジュール（モスクワML）。

セマンティクス・ワイズ、最大の違いは特にファンクタに関して、タイプ等価の治療である：SMLで

• 、ファンクタは2回同じファンクタを適用することを意味し、生成的あります同じ議論は常に新鮮な型をもたらす。

  を編集する：OCaml 4には、任意でファンクタを生成させる機能が追加されました。

• OCamlでは、ファンクタはのアプリケーションです。つまり、同じファンクタを同じ引数に2度適用すると（追加の構文上の制限に加えて）同等の型が再現されます。このセマンティクスはより柔軟ですが、抽象化を破ることもできます（たとえば、this paperのセクション8を参照）。

• OCamlは、シグネチャの純粋に構文上の概念を持ちます。つまり、型の等価性を型システムで表現できず、静かに破棄または分割されます（例えば、驚くべき例としてthis bugを参照）。

  編集：OCamlの4.02は、参照バグの特定の例を修正するために起こる「モジュールエイリアス」のための特別なセマンティクスを追加するが、構文署名の一般的な制限が持続します。

もう一つの大きな違いは、OCamlでのモジュール型システムが原因SMLが許可されていません抽象署名、その許可に、（すなわち、型チェックが終了しない場合があります）決定不能であるということです。

Answer 2

セマンティクスに関しては、上記のAndreas Rossbergによって、はるかに良く、精巧な答えが与えられています。しかし、構文に関してはthis siteがあなたが探しているものかもしれません。