Generalized Types vs Overloaded Operators

The operators +, *, -, <, and some others are overloaded. They represent one of two possible operations. E.g., int addition or real addition.

The ambiguity must be resolved before the val can be returned. A function is a value and forces the resolution of the ambiguity.

fun sqr(x) = x * x;

val sqr = fn : int -> int

sqr(3.3);

Error

Previous slide

Next slide

Back to first slide

View graphic version