Das Type Keyword
type String = [Char]
type Pos = (Int,Int)
type Trans = Pos -> Pos Paare gleichen Typs:
type Pair a = (a, a) Lookup-Tabelle mit Schlüssel-Wert-Paaren:
type Assoc k v = [(k, v)]
find :: Eq k => k -> Assoc k v -> v
find k t = head [v | (k',v) <- t, k==k'] keine Rekursion
type Tree = (Int, [Tree]) Was tut type?
