Mercurial > 12ws.info2
changeset 38:a10156e1609a
week 15
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Wed, 06 Feb 2013 21:50:51 +0100 |
parents | 15e527f4b92e |
children | 9a7b9e0c9eb0 |
files | exercises/src/Exercise_15.hs |
diffstat | 1 files changed, 17 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /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) +-}