Rechnen mit Listen in Haskell

http://haskell.org/

length :: [a] -> Int
length [] = 0
length (x : xs) = 1 + length xs

Beachte pattern matching: [] (0-stellig) und : (2-stellig) sind die Listen-Konstruktoren

Welche Typen haben diese Kostruktoren? (Sie sind auch generisch polymorph!)