Mercurial > 12ws.info2

annotate exercises/src/Exercise_14.hs @ 35:782323a762a2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
week 14
author Markus Kaiser <markus.kaiser@in.tum.de>
date Wed, 30 Jan 2013 22:08:04 +0100
parents
children 89feab98266f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
35
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
1 module Exercise_14 where
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
2 import qualified Data.List
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
3
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
4
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
5 {---------------------------------------------------------------------}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
6 {- Aufgabe G14.1 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
7
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
8 delete :: Eq a => a -> [a] -> [a]
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
9 delete = Data.List.delete {- falsche Implementierung -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
10
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
11
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
12
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
13 {---------------------------------------------------------------------}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
14 {- Aufgabe G14.1 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
15
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
16 concat'' :: [[a]] -> [a]
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
17 concat'' = undefined
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
18
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
19
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
20
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
21 {---------------------------------------------------------------------}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
22 {- Aufgabe G14.1 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
23
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
24 {-
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
25
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
26 map (*2) (1 : threes) !! 1
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
27
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
28 (\f -> \x -> x + f 2) (\y -> y * 2) (3 + 1)
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
29
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
30 filter (/=3) threes
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
31
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
32 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
33
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
34
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
35
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
36 {---------------------------------------------------------------------}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
37 {- Aufgabe H14.1 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
38
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
39 {- Type me! -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
40
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
41
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
42
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
43 {---------------------------------------------------------------------}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
44 {- Aufgabe H14.2 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
45
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
46 {- Proof me! -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
47
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
48
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
49
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
50 {---------------------------------------------------------------------}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
51 {- Aufgabe H14.3 -}
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
52
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
53 filterMap :: (a -> Maybe b) -> [a] -> [b]
782323a762a2 week 14
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
54 filterMap = undefined