编程语言X的设计笔记：OCaml模块的统一

作者计划设计一种名为X的新编程语言，旨在结合PolySubML的类型推断和结构化子类型，并支持OCaml的大部分功能，尤其着重于解决OCaml模块系统与普通值之间的语法和概念差异。文章详细阐述了如何在X中统一OCaml模块，包括类型别名成员、struct和sig语法、模块打开和包含、模块扩展以及抽象和存在类型等方面，并提出了改进OCaml模块系统的一些建议，例如避免使用通配符导入等。最终目标是创建一个更简洁易懂、功能强大的编程语言。