Xのデザインノート：OCamlモジュールの統合

著者は、PolySubMLの型推論と構造的部分型付けをOCamlのほとんどの機能と組み合わせることを目指した新しいプログラミング言語Xを設計しています。特に、OCamlのモジュールシステムと通常の値の間の構文上の違いと概念上の違いに対処することを重視しています。この記事では、レコード内のエイリアスメンバー、structとsig構文、モジュールのオープンとインクルード、モジュールの拡張、存在型による抽象化など、XにおけるOCamlモジュールの統合方法を詳細に説明しています。ワイルドカードインポートの回避など、OCamlのモジュールシステムの改善も提案しています。最終的な目標は、よりシンプルで理解しやすく、強力なプログラミング言語を作成することです。