Ocaml树简单功能

Question

我创造了一棵树

type 'a tree = {
      mutable cont: 'a;
      mutable left: 'a bin_tree;
      mutable right: 'a bin_tree
}
and 'a bin_tree =
     Empty
     | Node of 'a tree;;

我正在努力处理一些简单的功能，例如

• 插入元素（到适当的子树，没有重复）
• 使两个二叉树合并

我用谷歌搜索了我的问题，但我不断出错。 例如：

let rec insert x tree =
match tree with
 Empty -> Node(x, Empty, Empty)
| Node(y, left, right) ->
   if x <= y then Node(y, insert x left, right)
             else Node(y, left, insert x right)

或者，如果我尝试：

let rec insert x = function
Empty -> Node(Empty, x, Empty)
| Node(lb, r, rb) -> if x < r then Node(insert x lb, r, rb)
else Node{lb; r; insert x rb} ;;

我不断收到语法错误。

Answer 1

为什么为树使用可变记录？ OCaml程序员更喜欢使用不可变的数据结构。 在这里，树的可变性不会提高复杂性，但会引入错误。

以下是以持久方式实现树的方法：

type 'a tree =
| Empty
| Node of 'a * 'a tree * 'a tree

实际上，您在代码中为member和insert使用的就是这种类型。

Answer 2

您的匹配模式应包含{和}以匹配记录，因此代码

match tree with
   Empty -> false
  | Node { cont=x; left=l; right=r } -> (*something here .... *)

实际上，当模式变量具有与字段相同的名称时， 用于记录表示法的语言扩展允许避免使用字段标签，因此，无需编码模式Node { cont=cont; left=left; right=right } Node { cont=cont; left=left; right=right } Node { cont=cont; left=left; right=right }您可以编写Node{cont;left;right}

您也可以查看Ocaml的stdlib / set.ml源文件。

注意，您的'a bin_tree类型几乎等同于'a tree option 。