OCaml不接受二叉树的类型构造函数

Question

我正在尝试构建类似这样的东西

type ('a, 'b) btree = Empty | Node of ('a, 'b) * ('a, 'b) btree * ('a, 'b) btree

但它表示第一个星号所在的语法错误。

Answer 1

一对的类型看起来像f2 = (a,b) -> { m2(a,b); return null; } 所以你想要这个：

'a * 'b

或者可能这样：

type ('a, 'b) btree = 
  Empty |
  Node of 'a * 'b * ('a, 'b) btree * ('a, 'b) btree