Next Atypical Types 49

Type Inference

        sumof []    = 0
        sumof (h:t) = h + sumof t

"The argument is []."

"That's some kind of list, say [a]."

"And let's say that the return type is b for now."

Next Copyright © 1999,2008 Mark Dominus