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