Mercurial > 12ws.info2
comparison exercises/src/Exercise_15.hs @ 38:a10156e1609a
week 15
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Wed, 06 Feb 2013 21:50:51 +0100 |
parents | |
children | 9a7b9e0c9eb0 |
comparison
equal
deleted
inserted
replaced
37:15e527f4b92e | 38:a10156e1609a |
---|---|
1 module Exercise_15 where | |
2 | |
3 {- | |
4 Wichtiges: | |
5 - Syntax: Typannotation, Assoziativität, Pattern Matching, Guards, Currying, List Comprehensions | |
6 - Typisierung: Typvariablen, Typklassen, Typbestimmung | |
7 - QuickCheck | |
8 - Induktionsbeweise: Schema!, Fallunterscheidung, Generalisierung, Strukturelle Induktion | |
9 - Higher Order Functions: map, filter, fold, Lambdas, (.) | |
10 - Pointfree Notation | |
11 - Module, Typlassen, Instanzen | |
12 - Datentypen: data vs. type vs. newtype, Abstraktionsfunktionen | |
13 - (Huffman, Parser) | |
14 - Lazy Evaluation: Redexes, Outside In, Unendliche Datenstrukturen | |
15 - IO: do-Notation, warum die Sonderbehandlung? | |
16 - (Endrekursion und Akkumulatoren) | |
17 -} |