Mercurial > 12ws.info2

annotate exercises/src/Exercise_15.hs @ 38:a10156e1609a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
week 15
author Markus Kaiser <markus.kaiser@in.tum.de>
date Wed, 06 Feb 2013 21:50:51 +0100
parents
children 9a7b9e0c9eb0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
38
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
1 module Exercise_15 where
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
2
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
3 {-
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
4 Wichtiges:
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
5 - Syntax: Typannotation, Assoziativität, Pattern Matching, Guards, Currying, List Comprehensions
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
6 - Typisierung: Typvariablen, Typklassen, Typbestimmung
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
7 - QuickCheck
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
8 - Induktionsbeweise: Schema!, Fallunterscheidung, Generalisierung, Strukturelle Induktion
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
9 - Higher Order Functions: map, filter, fold, Lambdas, (.)
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
10 - Pointfree Notation
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
11 - Module, Typlassen, Instanzen
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
12 - Datentypen: data vs. type vs. newtype, Abstraktionsfunktionen
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
13 - (Huffman, Parser)
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
14 - Lazy Evaluation: Redexes, Outside In, Unendliche Datenstrukturen
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
15 - IO: do-Notation, warum die Sonderbehandlung?
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
16 - (Endrekursion und Akkumulatoren)
a10156e1609a week 15
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
17 -}