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

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

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

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

试试看

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

---

正如您所猜测的，您需要在左侧提到每个类型变量。您为

'a

执行此操作，也为

'b

执行此操作是很自然的。

没有考虑该类型的元组。谢谢，我想你已经试过“a”b项了，我宁愿那样做。不客气

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