如何在OCaml中指定记录构造函数的类型？

Question

假设我有两个具有相同记录的不同类型：

type x = { a : int };;
type y = { a : int };;

现在{ a = 5 }将生成y类型的数据。有没有办法强制它现在制作x类型数据？

我知道可以将每个类型包装在一个模块中，但是我想避免在这个阶段处理模块。是否有{ a = 5 } : x之类的东西可以使用？

Answer 1

嘿，我先尝试了{ a = 5 } : x但它没有用，但就在发布之前，我想我会尝试({ a = 5 } : x)并且显然有效。