Next
Atypical Types
41
Type inference
fact ::
(Num
a
) =>
a
->
b
"
0
has type
(Num
a
) =>
a
."
fact 0 = 1 fact
n
= n * fact(n-1)
"So
n
must have that type too."
Next
Copyright © 1999,2008 Mark Dominus