en | de

Funktionale Programmierung

Bachelorstudium

VO2 + PS1  WS 2017/2018  703024 + 703025

Inhalt

Die Lehrveranstaltung gibt eine Einführung in die funktionale Programmierung, wobei sowohl Anwendungsbeispiele an Hand von Haskell (einer rein funktionalen Programmiersprache), als auch die theoretischen Grundlagen behandelt werden.

Zeitplan

Übungsaufgaben befinden sich jeweils am Ende eines Foliensatzes.

Vorlesung Datum Themen Folien Unterlagen Quelltext Musterlösungen
1 06.10. historical overview, Haskell introduction, first steps pdf (x1, x4) html
2 20.10. type classes, lists, polymorphism, pattern matching, higher-order functions pdf (x1, x4) Archiv html
3 27.10. modules, strings, list comprehensions, recursive functions pdf (x1, x4) Archiv html
4 03.11. user-defined types, algebraic data types, trees, input and output pdf (x1, x4) Archiv html
5 10.11. lambda-calculus, encoding data types as lambda-terms pdf (x1, x4) pdf html
6 17.11. evaluation strategies, abstract data types, sets, binary search trees pdf (x1, x4) Archiv html
7 24.11. induction, reasoning about functional programs, formal verification pdf (x1, x4) pdf Archiv html
8 01.12. efficiency, tupling, tail recursion, guarded recursion, property-based testing pdf (x1, x4) pdf html
9 15.12. combinator parsing / functional parsers pdf (x1, x4) Archiv html
10 12.01. types, type checking, unification, type inference pdf (x1, x4) pdf pdf
11 19.01. implementing a type checker pdf (x1, x4) Archiv html
12 26.01. lazy evaluation, infinite data structures pdf (x1, x4) Archiv
02.02. 1te Prüfung (08:15-10:00, HS D, Anmeldung bis 19. Jänner 2018) pdf
02.03. 2te Prüfung (09:15-11:00, HS D) pdf
13.09. 3te Prüfung (09:15-11:00, 3W04 (ICT-Gebäude, 2.Stock), Anmeldung bis 30. August 2018)

Literatur

Neben anderen Quellen, wird in der Lehrveranstaltung Material aus den folgenden Büchern verwendet: