最近的OCaml 3.12引入了一项一流的打包模块的功能,详情请参见特性说明:
请问哪里可以找到使用此功能的有启发性的示例或文献?一流打包模块。
- 新的类型表达式,用于打包模块:
(module PT)
- 新的表达式类型,用于将模块打包为一等值:
(module MODEXPR : PT)
- 新的模块表达式类型,用于将一等值解包为模块:
(val EXPR : PT)
- PT是形如
S
或S with type t1 = ... and ... and type tn = ...
(S
是指一个模块类型)的打包类型。