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