如何创建一个记录类型多于一个的多态变量

Question

type 'a item = { name:string; quantity:'a };;

这是 Ocaml class 中教授的多态类型定义。我正在尝试扩展此类型在项目类型中有多个多态变量，例如：

type 'a item = { name:string; quantity:'a; price:'b };;

但是，我收到一个关于未绑定值 b 的错误。那么，一个以上的多态变量的记录类型应该是什么类型呢？

Answer 1

尝试

type ('a,'b) item = { name:string; quantity:'a; price:'b };;

如您所料，您需要在左侧提及每个类型变量。您为 'a 做到了，当然也为 'b 做到了。