| | |
Summary: Folds
Funktionale Programmierung
Folds und Nested Datatypes
Dulma Rodriguez, Hans-Wolfgang Loidl, Andreas Abel
LFE Theoretische Informatik, Institut f¨ur Informatik,
Ludwig-Maximilians Universit¨at, M¨unchen
2. Juli 2009
Dulma Rodriguez, Hans-Wolfgang Loidl, Andreas Abel Funktionale Programmierung
Folds
Fold f¨ur Listen
Listen sind vordefiniert in Haskell: [a]
Folgende fold Funktion ist auch vordefiniert.
fold :: (a b b) b ([a] b)
fold f v [ ] = v
fold f v (x : xs) = f x (fold f v xs)
Damit k¨onnen Funktionen ¨uber Listen definiert werden.
fold nimmt als Argumente eine Funktion f f¨ur den "cons"
Fall...
... und eine Konstante v f¨ur den "[]" Fall.
Dulma Rodriguez, Hans-Wolfgang Loidl, Andreas Abel Funktionale Programmierung
|
