Question

我想在OCaml中声明一个变体类型

type 'a tree = Node of 'a tree * 'a * 'a tree * int | Null

但是这里有很多属性，所以我想标记它们，所以我尝试在这里使用记录：

type 'a tree = Node of { left: 'a tree; value: 'a; right:'a tree; height: int | Null

但这会引发语法错误。

使用类似记录可以让我使用漂亮的语法

match x with
| Node of a -> a.value
| Null -> 0

我应该如何宣布它不会出现语法错误？

Answer 1

您可以声明两个相互递归的类型，一个用于节点，一个用于树：

# type 'a node = { left: 'a tree; value: 'a; right:'a tree; height: int } 
   and 'a tree = Node of 'a node | Null
  ;;
type 'a node = { left : 'a tree; value : 'a; right : 'a tree; height : int; } and 'a tree = Node of 'a node | Null;;

# match Node({left = Null; value = 1; right = Null; height = 0}) with
    | Node(n) -> n.value
    | Null -> 0
  ;;
- : int = 1

OCaml中记录的变体

1 个答案: