en | de

Funktionale Programmierung

Bachelorstudium

VO2 + PS1  WS 2008/2009  703017 + 703018

Einführung

Die Lehrveranstaltung gibt eine Einführung in das funktionale Programmieren, wobei sowohl die theoretischen Grundlagen, als auch Anwendungsbeispiele an Hand von OCaml (einer nicht-reinen und strikten funktionalen Programmiersprache) 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: type checking, type inference
Woche 11: lazy evaluation, infinite data structures
Woche 12: monads
Woche 13: 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).