Next Atypical Types 30

Types in Haskell

Polymorphism

        []                              [a]
        [ [1,2,3], [], [] ]             [[Integer]]
        [ ['p', 'i', 'e'], [], [] ]     [[Char]]
        ([], [])                        ([a], [b])

(Better examples coming up shortly.)

Next Copyright © 1999,2008 Mark Dominus