# HG changeset patch # User Markus Kaiser # Date 1359580084 -3600 # Node ID 782323a762a2d7cb67a16b6665dc6860c66c6f9f # Parent f62e3ed2c90d642055ea0312c5a0c75a40df6008 week 14 diff -r f62e3ed2c90d -r 782323a762a2 blatt14.pdf Binary file blatt14.pdf has changed diff -r f62e3ed2c90d -r 782323a762a2 exercises/src/Exercise_14.hs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/exercises/src/Exercise_14.hs Wed Jan 30 22:08:04 2013 +0100 @@ -0,0 +1,54 @@ +module Exercise_14 where +import qualified Data.List + + +{---------------------------------------------------------------------} +{- Aufgabe G14.1 -} + +delete :: Eq a => a -> [a] -> [a] +delete = Data.List.delete {- falsche Implementierung -} + + + +{---------------------------------------------------------------------} +{- Aufgabe G14.1 -} + +concat'' :: [[a]] -> [a] +concat'' = undefined + + + +{---------------------------------------------------------------------} +{- Aufgabe G14.1 -} + +{- + +map (*2) (1 : threes) !! 1 + +(\f -> \x -> x + f 2) (\y -> y * 2) (3 + 1) + +filter (/=3) threes + +-} + + + +{---------------------------------------------------------------------} +{- Aufgabe H14.1 -} + +{- Type me! -} + + + +{---------------------------------------------------------------------} +{- Aufgabe H14.2 -} + +{- Proof me! -} + + + +{---------------------------------------------------------------------} +{- Aufgabe H14.3 -} + +filterMap :: (a -> Maybe b) -> [a] -> [b] +filterMap = undefined