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 | 05.10. | historical overview, Haskell introduction, first steps | pdf (x1, x4) | html | ||
| 2 | 12.10. | type classes, lists, polymorphism, pattern matching, higher-order functions | pdf (x1, x4) | Archiv | html | |
| 3 | 09.11. | modules, strings, list comprehensions, recursive functions | pdf (x1, x4) | Archiv | html | |
| 4 | 16.11. | user-defined types, algebraic data types, trees, input and output | pdf (x1, x4) | Archiv | html | |
| 5 | 23.11. | lambda-calculus, encoding data types as lambda-terms | pdf (x1, x4) | html | ||
| 6 | 30.11. | evaluation strategies, abstract data types, sets, binary search trees | pdf (x1, x4) | Archiv | html | |
| 7 | 07.12. | induction, reasoning about functional programs, formal verification | pdf (x1, x4) | Archiv | html | |
| 8 | 14.12. | efficiency, tupling, tail recursion, guarded recursion, property-based testing | pdf (x1, x4) | Archiv | html | |
| 9 | 11.01. | combinator parsing / functional parsers | pdf (x1, x4) | Archiv | html | |
| 10 | 18.01. | types, type checking, unification, type inference | pdf (x1, x4) | Archiv | html | |
| 11 | 25.01. | lazy evaluation, infinite data structures | pdf (x1, x4) | Archiv | ||
| 01.02. | 1te Prüfung (12:15-14:00, HSB 1, Anmeldung bis 18. Jänner 2019) | |||||
| 01.03. | 2te Prüfung (12:15-14:00, HSB 1, Anmeldung bis 15. Februar 2019) | |||||
| 27.09. | 3te Prüfung (12:15-14:00, HSB 1, Anmeldung bis 13. September 2019) |
Literatur
Neben anderen Quellen, wird in der Lehrveranstaltung Material aus den folgenden Büchern verwendet:- Graham Hutton, Programming in Haskell, Cambridge University Press, 2007, ISBN 9780521692694.
- Richard Bird, Introduction to Functional Programming using Haskell (2nd edition), Prentice Hall Europe, 1998, ISBN 0134843460.
- Bryan O'Sullivan, Don Stewart, and John Goerzen, Real World Haskell, (frei verfügbar) O'Reilly, 2008, ISBN 9780596514983.
- Simon Thompson, Haskell: The Craft of Functional Programming, Addison-Wesley, 1996, ISBN 0201403579.
- Chris Hankin, An Introduction to Lambda Calculi for Computer Scientists, King's College Publications, ISBN 0954300653.
- Chris Okasaki, Purely Functional Data Structures, Cambridge University Press, 1999, ISBN 0521663504.
- Fethi Rabhi and Guy Lapalme, Algorithms: A Functional Programming Approach, Addison-Wesley, 1999, ISBN 0201596040.
