Next
Atypical Types
53
Type Inference Example 3
map(f, []) = [] map(f, h:t) = f(h) : map(f, t)
Next
Copyright © 1999,2008 Mark Dominus