三元树方法 - 标准ML

Question

三元树类型定义为：

datatype ’a tree =
Leaf of ’a
| Node of ’a tree * ’a tree * ’a tree

我需要修改功能图＆amp; foldl匹配三元树...

fun tree_map (f : ’a -> ’b) (t : ’a tree) : ’b tree = 
f,nil) = nil 
| map (f,x::xs) = f(x) :: (map (f,xs))


fun tree_foldl (f : ’a * ’a -> ’a) (n: ’a) (t : ’a tree) : ’a = 
(f,ie,nil)   = ie
 |  foldl (f,ie,x::xs) = foldl (f, f(x,ie), xs);

我知道这可能是一个简单的修改，但我似乎无法绕过逻辑。我不明白二叉树怎么会有所不同...任何指针？

Answer 1

在代数数据类型上定义函数时，一个很好的起点是有一个匹配模式＆＃34;对于每个案例。

我会这样开始，因为基本情况（相当）显而易见：

fun tree_map f (Leaf x) = Leaf (f x)
  | tree_map f (Node (t1, t2, t3)) = Node (something involving t1, t2, and t3) 

fun tree_foldl f ie (Leaf x) = f(ie, x)
 |  tree_foldl f ie (Node (t1, t2, t3)) = ... something involving t1, t2, and t3 ... 

有趣的部分留作练习。