Funktionale Programmiertechniken

Funktionen höherer Ordnung: map
suclist :: [Int] -> [Int]
suclist [] = []
suclist (x:xs) = suc x : suclist xs
sqrtlist :: [Float] -> [Float]
sqrtlist [] = []
sqrtlist (x:xs) = sqrt x : sqrtlist xs
x
,...,
suc
1
,..., suc x
suclist [
1
x n
] = [
n]
sqrtlist [ x1 ,..., x n
] = [ sqrt x1 ,..., sqrt x
n]
f map g [ ] = [ g x ,..., g ]
x
,...,
1
x n
x
1
x
n
f :: [ a] -> [ b]
f [] = []
f (x:xs) = g x : f xs
map :: (a -> b) -> [a] -> [b]
map g [] = []
map g (x:xs) = g x : map g xs
III.6 Funktionale Programmiertechniken - 4 -