Examples

• fun id x = x;

val id = fn : ‘a -> ‘a

• fun g f = (f 3, f “hi”);

(* type error in ML, but in SuperML++: *)

val g = fn : (?’a.’a->’a) -> int*string

Previous slide

Next slide

Back to first slide

View graphic version