嗨,这是我第一次在Stack Overflow上发帖,我在尝试在OCaml中构建一个类型时遇到了问题
我正在尝试构造一个具有节点/叶子/等的类型树.这就是我到目前为止所拥有的.
type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a * tree) | ....
我的节点应该是一个包含其名称和另一个树作为元组的类型.但是当我试图编译它时,它说树需要两个参数.所以我尝试过:
type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a * tree ('a*'b))
而我仍然收到错误.你注意到我做错了什么？谢谢!