【发布时间】：2010-07-29 16:36:35
【问题描述】：
最近的 OCaml 3.12 引入了 feature 的一流打包模块：
一流的封装模块。
- 新的类型表达式，用于打包模块：
(module PT)- 新的表达式，将模块打包为一等值：
(module MODEXPR : PT)。- 新的模块表达式，将一等值解压缩为模块：
(val EXPR : PT)。- PT 是
S或S with type t1 = ... and ... and type tn = ...形式的包类型（S指的是模块类型）。
我在哪里可以找到使用此功能的励志示例或论文？
【问题讨论】：
标签： ocaml