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

Question

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

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

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

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

Answer 1

尝试

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

您可以猜到，您需要在左侧提及每个类型变量。您为 'a 做了这件事，很自然地也为 'b 做了。