Parametric polymorphism: Difference between revisions

added standard ml
No edit summary
(added standard ml)
Line 132:
| Empty -> Empty
| Node (x,l,r) -> Node (f x, map_tree f l, map_tree f r)
 
=={{header|Standard ML}}==
 
datatype 'a tree = Empty | Node of 'a * 'a tree * 'a tree
 
(** val map_tree = fn : ('a -> 'b) -> 'a tree -> 'b tree *)
fun map_tree f Empty = Empty
| map_tree f (Node (x,l,r)) = Node (f x, map_tree f l, map_tree f r)
Anonymous user