Mehrstellige Funktionen

drop 3 "foobar" = "bar"
drop :: Int -> [a] -> [a]

Wenn f : : A1$ \to$A2$ \to$...Ak$ \to$B,
dann ist f eine k-stellige Funktion
mit Argumenttypen A1,..., Ak
und Ergebnistyp B.

Beachte: das ist eine einstellige Funktion:

drops (3, "foobar") = "bar"
drops :: (Int, [a]) -> [a]



Johannes Waldmann 2006-06-22