# HG changeset patch # User Markus Kaiser # Date 1360183851 -3600 # Node ID a10156e1609a79f2b8d4dc53f9b3e656bf84a0ac # Parent 15e527f4b92e5a13d97bb2b00be4149228ee6cc8 week 15 diff -r 15e527f4b92e -r a10156e1609a exercises/src/Exercise_15.hs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/exercises/src/Exercise_15.hs Wed Feb 06 21:50:51 2013 +0100 @@ -0,0 +1,17 @@ +module Exercise_15 where + +{- +Wichtiges: + - Syntax: Typannotation, Assoziativität, Pattern Matching, Guards, Currying, List Comprehensions + - Typisierung: Typvariablen, Typklassen, Typbestimmung + - QuickCheck + - Induktionsbeweise: Schema!, Fallunterscheidung, Generalisierung, Strukturelle Induktion + - Higher Order Functions: map, filter, fold, Lambdas, (.) + - Pointfree Notation + - Module, Typlassen, Instanzen + - Datentypen: data vs. type vs. newtype, Abstraktionsfunktionen + - (Huffman, Parser) + - Lazy Evaluation: Redexes, Outside In, Unendliche Datenstrukturen + - IO: do-Notation, warum die Sonderbehandlung? + - (Endrekursion und Akkumulatoren) +-}