A pattern-based curried map

• fun map f =  fn nil => nil | x::xs => f x:: map f xs;

val map = fn : (‘a -> ‘b) -> ‘a list -> ‘b list

Previous slide

Next slide

Back to first slide

View graphic version