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

Question

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

这是Ocaml类中教授的多态类型定义.我正在尝试扩展此类型在项类型中有多个多态变量,如:

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

但是,我收到了未绑定值b的错误.那么,对于多个多态变量,记录类型应该是什么类型？

Answer 1

尝试

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

你可以猜到,你需要提到左侧的每个类型变量.你做到了'a,它也是很自然的'b.