changeset 35:782323a762a2

week 14
author Markus Kaiser <markus.kaiser@in.tum.de>
date Wed, 30 Jan 2013 22:08:04 +0100
parents f62e3ed2c90d
children 89feab98266f
files blatt14.pdf exercises/src/Exercise_14.hs
diffstat 2 files changed, 54 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
Binary file blatt14.pdf has changed
--- /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