OCaml中模块操作何时属于重声明、何时属于别名定义？

首先明确两个概念的边界：

• 别名定义：仅为已存在的模块/类型生成一个新的名字，新名字和原实体在类型系统中完全等价，互相兼容，不会生成新的实体。
• 重声明：重新定义一个全新的模块/类型实体，即便和已有实体同名，二者也没有任何关联，类型不兼容，新声明会遮蔽当前作用域内的原同名实体。

你提到的module A = X.A属于纯模块别名，不是重声明，正常使用不会引发任何编译或运行时问题，是OCaml中非常常用的缩短模块名的写法，仅会在当前作用域内将A绑定为X.A的别名，不会影响其他作用域。

• 局部open：仅在单个表达式范围内引入模块内容，不会污染全局作用域，有两种等价写法：

  (* 写法1 *)
  let open X.A in
  let res = func1 param1 param2 in
  ...
  
  (* 写法2，更简洁 *)
  let res = X.A.(func1 param1 param2) in
  

• 显式限定访问：直接用X.A.xxx的方式调用模块内的函数、访问类型，完全没有命名冲突风险，适合仅少量使用该模块的场景。
• 单类型/值别名：如果只需要用到模块内的某一个类型或值，不需要引入整个模块，可以单独绑定：

  type a_t = X.A.t (* 类型别名 *)
  let a_func = X.A.func (* 值别名 *)
  

• 局部模块别名：可以在函数内部定义模块别名，仅在函数内生效，进一步缩小作用域：

  let test x =
    module A = X.A in
    A.process x
  

• 只要定义右侧直接是已存在的模块/类型名，没有新的结构定义（struct...end/sig...end/自定义类型构造器），就属于别名，和原实体完全兼容。
• 只要定义右侧是新的结构/类型定义，不管名字是否和已有实体重复，都属于重声明，和原实体无关联。
• open操作既不是别名也不是重声明，仅扩展当前作用域的命名搜索路径，不会生成新的实体。
• 破坏性替换with A := B属于签名层面的别名替换，会直接将签名中的A替换为B的定义，生成的新签名中不再保留原A的定义。

内容的提问来源于stack exchange，提问作者David 天宇 Wong