A Polymorphic Function

fun ident(x) = x;

val ident = fn : 'a -> 'a

ident("Boo!");

val it = "Boo!" : string

ident(abs);

val it = fn : int -> int

abs(~23);

val it = 23 : int

Previous slide

Next slide

Back to first slide

View graphic version