OCaml中如何显式声明多态记录类型的窄化等价类型？

我定义了一个多态记录类型：

type 'a poly = { field1: 'a; field2: int }

想要声明一个新类型mono，同时显式写出它的结构，尝试了以下写法：

type mono = string poly = {field1: string; field2: int}

但编译器报错：

This variant or record definition does not match that of type
Base.string poly They have different arities.

只写type mono = string poly时没有错误，但我希望能显式声明这两个类型等价，同时展示mono的结构，请问有没有可行的方法？

错误原因 #

你尝试的写法混淆了类型别名和新类型定义两种语法：

• type mono = string poly 是类型别名，直接让mono成为string poly的等价类型，两者完全互通。
• 后面追加的= {field1: string; field2: int} 是在试图定义一个全新的单态记录类型，而原'a poly是带类型参数的多态类型，编译器认为两者的参数数量（arity）不匹配，因此报错。

可行解决方案 #

OCaml中无法在同一条类型声明里同时做别名和显式结构定义，但可以通过以下方式实现你的需求：

1. 类型别名 + 注释显式结构

用类型别名保证等价性，同时用注释写出结构，让代码可读性更强：

type 'a poly = { field1 : 'a; field2 : int }

(* mono 等价于 string poly，结构如下：
   { field1 : string; field2 : int } *)
type mono = string poly

这种方式下，mono和string poly完全等价，编译器会将它们视为同一类型，同时注释清晰展示了结构。

2. 用示例代码验证结构

如果需要在代码中直接体现mono的结构，可以添加一个示例值，既验证类型兼容性，又直观展示结构：

type 'a poly = { field1 : 'a; field2 : int }
type mono = string poly

(* 示例值，直观展示mono的结构 *)
let example_mono : mono = { field1 = "hello"; field2 = 123 }

关键说明 #

OCaml中，类型别名是完全透明的——mono和string poly在类型系统中没有区别，所有接受string poly的函数都可以接受mono，反之亦然。如果你试图通过type mono = { field1 : string; field2 : int }定义新类型，那它和string poly会是两个不同的类型，无法直接互通，这显然不符合你的需求。

内容的提问来源于stack exchange，提问作者just_name