OCaml中如何强制为记录字面量指定类型？

当你定义多个包含同名字段的record类型时，直接编写{ price = 123 }这类字面量会导致类型不明确，OCaml提供了几种方式来强制指定字面量的目标类型：

1. 直接使用类型限定字段 #

这和你假设的语法几乎一致，在字段名前加上目标类型的名称即可：

type apple = { price : int }
type banana = { price : int }

(* 强制指定为apple类型 *)
let my_apple = { apple.price = 123 }
(* 强制指定为banana类型 *)
let my_banana = { banana.price = 123 }

2. 为变量添加类型注解 #

通过给变量标注明确的类型，编译器会自动匹配对应的record结构：

let my_apple : apple = { price = 123 }
let my_banana : banana = { price = 123 }

3. 利用上下文类型推断 #

如果record字面量出现在有明确类型要求的上下文（比如函数参数）中，编译器会自动推导正确的类型：

let print_apple (a : apple) = Printf.printf "Apple price: %d\n" a.price

(* 此处编译器根据函数参数类型，自动识别为apple类型 *)
print_apple { price = 123 }

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