Ocaml树函数

Question

我有一棵树，它包含两个元素。

type ('a,' b) tree = 
      empty 
    | node of 'a * (' a, 'b) tree sheet;; 
    | node of 'b * (' a, 'b) tree sheet;; 

现在我必须写一个函数split： - >“的片材*” B列表，这将覆盖所有元素节点的在（“A，” B）树是由以下数据结构定义第一个列表和第二个列表中的所有元素节点b。

Answer 1

你的代码是不正确的，所以我认为你的树类型是：

type ('a, 'b) tree = 
| Empty 
| AlphaNode of 'a * ('a, 'b) tree 
| BetaNode of 'b * ('a, 'b) tree 

let split tree = 
let rec split_ tree a b = match tree with 
| Empty -> (a, b) 
| AlphaNode (sheet, tree) -> split_ tree (sheet::a) b 
| BetaNode (sheet, tree) -> split_ tree a (sheet::b) in 
split_ tree [] [];; 

的split_ FUNC只是这里的可读性和方便性。没有它，你将不得不每次打两个空列表。