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 -}