en | de

Funktionale Programmierung

Bachelorstudium

VO2 + PS1  WS 2009/2010  703017 + 703018

Einführung

Die Lehrveranstaltung gibt eine Einführung in die funktionale Programmierung, wobei sowohl Anwendungsbeispiele an Hand von OCaml (einer nicht-reinen und strikten funktionalen Programmiersprache), als auch die theoretischen Grundlagen behandelt werden.

Woche  1: historical overview, OCaml introduction
Woche  2: lists, polymorphism, higher-order functions
Woche  3: modules, strings
Woche  4: user-defined types, trees
Woche  5: sets, lambda-calculus
Woche  6: evaluation strategies, implementing lambda
Woche  7: induction, reasoning about functional programs
Woche  8: efficiency, tail-recursion
Woche  9: combinator parsing
Woche 10: types, type checking
Woche 11: type inference
Woche 12: lazy evaluation, infinite data structures
Woche 13: monads
Woche 14: advanced topics

Literatur

Neben anderen Quellen, wird in der Lehrveranstaltung Material aus den folgenden Büchern verwendet (nach Relevanz gereiht):

Sprache

Vorlesung (VO) und Proseminar (PS) werden auf Deutsch abgehalten. Alle Kursunterlagen (Slides, Skriptum, etc.) wurden in Englisch verfasst, da Englisch die de facto Standardsprache der Informatik ist. Falls erforderlich kann eine der Proseminargruppen auch auf Englisch unterrichtet werden (nicht zusätzlich, sondern statt einer Gruppe auf Deutsch).