The students gain a comprehensive theoretical and practical understanding of the foundations and concepts of functional programming, learn to valuate their eligibility for the solution of programming tasks, and to apply them adequately and meaningfully in the functional programming style.

The course introduces the principles and concepts of functional programming, where it stretches from the foundations to the application. Using concrete problems as examples it will be demonstrated and discussed how to use them for solving problems in the complementary plenary tutorial Haskell Live. Own proposals to solve specific problems can be presented and put up for discussion. Practical assignments as part of the lab tutorial offer the opportunity to independently apply and practice the functional programming style, and to gain a deep practical understanding of the concepts and principles of functional programming. For demonstration and implementation in course and tutorials the state-of-the-art functional programming language Haskell is used.

The course considers in particular the following topics and their realization in Haskell:

• Functional programming style (programs as systems of recursive functions)
• Lambda-calculus (basis of the semantic foundation of functional programming languages)
• Evaluation strategies for expressions and programs (eager evaluation, lazy evaluation)
• Recursion and kinds of recursion
• Higher-order functions (programming with functions as arguments and results)
• Polymorphism (parametric, ad-hoc)
• Type systems, type inference (monomorphic, polymorphic)
• Streams and stream processing
• ...

Die Vorbesprechung zur Vorlesung findet am Freitag, den 01.10.2010, von 14:15 bis ca. 15:00 Uhr im Heinz-Parkus-Hörsaal 8 im Haupthaus am Karlsplatz statt! Unmittelbar anschließend findet von 15:00 Uhr bis 16:30 Uhr an gleicher Stelle die erste Vorlesung statt.

Beurteilung der Beispiele aus der Laborübung und schriftliche Prüfung über Vorlesungs- und Übungsstoff. Weitere Angaben zum Beurteilungs- und Prüfungsablauf sind auf der homepage zur Lehrveranstaltung gegeben.

Ort: Informationen zur Anmeldung werden in der Vorbesprechung und in Kürze auf der Webseite zur LVA angegeben. Für die Anmeldung wird ein mehrtägiger Zeitraum zur Verfügung stehen.

• Course textbook:
  • Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley (Pearson), 2nd edition, 1999.
• Haskell 98 Language Report:
  • Simon Peyton Jones (Eds.). Haskell 98: Language and Libraries. The Revised Report. Cambridge University Press, 2003.
• Selected further textbooks:
  • Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 2nd edition, 1998.
  • Manuel M. T. Chakravarty, Gabriele C. Keller. Einführung in die Programmierung mit Haskell. Pearson Studium, 2004.
  • Antony J.T. Davie. An Introduction to Functional Programming Systems using Haskell. Cambridge University Press, 1992.
  • Kees Doets, Jan van Eijck. The Haskell Road to Logic, Maths and Programming. Texts in Computing Vol. 4, King's College, UK, 2004.
  • Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, 2004.
  • Graham Hutton. Programming in Haskell. Cambridge University Press, 2007.
  • Wolfram-Manfred Lippe. Funktionale und Applikative Programmierung. Springer-Verlag, 2009.
  • Peter Pepper. Funktionale Programmierung in OPAL, ML, Haskell und Gofer. Springer-Verlag, 2. Auflage, 2003.
  • Fethi Rabhi, Guy Lapalme. Algorithms: A Functional Programming Approach. Addison-Wesley, 1999.
  • Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley (Pearson), 2nd edition, 1999.
  • ...

For taking the course the regulations given in Section 1.6 of the current "Studienplan" apply.