More Examples(using an alternative syntax for function definition)

Full declaration of argument and return types by the programmer:

val f = fn(x) => x + 1;

val f = fn : int -> int

Inference from the type of one operand:

val g = fn(x) => x + 1.0;

val f = fn : real -> real

Inference from the return type:

val h = fn(x) => ord(x);

val h = fn : char -> int

Previous slide

Next slide

Back to first slide

View graphic version