我创建了一个新模块，它只是名称很长的模块的较短别名：
module M = ModuleWithLongName
我处于最终可执行文件的大小很重要的情况。上面的构造是由编译器合理处理的（即M实际上只是一个别名），还是复制了ModuleWithLongName模块内部M定义的全部内容？
问问题
677 次
3 回答
8
不，OCaml 语言不支持“真正的模块别名”。
但是，在您尝试相当高级的仿函数和抽象类型组合之前，您可能不会注意到。特别是，您只能在类型系统中观察到这个问题，而不是在程序的运行时行为中观察到：模块有时会被复制，但可变状态会在副本之间被别名（在您的示例中，如果ModuleWithLongName.foo是可变引用，那么M.foo是相同的参考）。
如果您使用一流的模块，或者在深度嵌套的函数中定义本地模块，您可能会观察到模块复制操作是整个计算中不可忽略的成本。推理一流模块性能的正确心智模型是，在类型检查和模块检查之后，它们就是记录。
于 2013-02-21T22:16:42.930 回答
2
从 4.02 版本开始，OCaml 支持真正的模块别名。
于 2015-06-28T09:30:14.150 回答
0
我认为是 module_path 的别名。
模块 moduleName = module_expr
和 module_expr ::= module_path | ...
于 2013-02-21T23:00:12.423 回答