Тройная тип дерева определяется как:Тройные методы Tree - Standard ML
datatype ’a tree =
Leaf of ’a
| Node of ’a tree * ’a tree * ’a tree
Мне нужно изменить функции отображения & 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);
Я знаю, что это вероятно, является простой модификацией, но я, похоже, не склоняюсь к логике. Я не понимаю, как это будет отличаться для двоичного дерева ... любые указатели?