Next
Atypical Types
40
Type inference
The compiler says to itself:
fact
0
= 1 fact n = n * fact(n-1)
"
0
has type
(Num
a
) =>
a
."
Next
Copyright © 1999,2008 Mark Dominus