The students gain a comprehensive theoretical and practical
understanding of the foundations, principles, 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.

Part I: Introduction

• Motivation
• Basics of Haskell
• Recursion and Types of Recursion

Part II: Applicative Programming      

• Evaluating Expressions
• Program Development and Program Understanding
• Datatype Declarations

Part III: Functional Programming

• Higher-Order Functions
• Parametric and ad hoc Polymorphism

Part IV: Foundations of Functional Programming

• Evaluation Strategies
• Formal Computation Models
• Lambda Calculus

Part V: Extensions and Advanced Concepts

• Patterns
• Moduls
• Input and Output
• Programming Principles with Streams and Combinators
• Monomorphic and Polymorphic Type Inference
• Error Handling

Part VI: Conclusions and Prospectives

• Summary and Outlook

ECTS Break Down:

The course is assigned 3.0 ECTS points. This corresponds to an average
workload of 75 hours. This average workload is divided among the
various parts of the course as follows:

• Attending the lectures, pre- and post-processing: 30 hours.
• Attending the plenary tutorial "Haskell Live," attending "Haskell Private", pre- and post-processing: 10 hours.
• Programming assignments: 30 hours.
• Preparation for the examination and written examination: 5 hours.

The lecture course starts on Tue, 4 October 2016, 08.15am-09.45am.

Assessment of the programming assignments and the written examination
on the lecture and tutorial material. Further information on the
examination modalities are given on the homepage of the course.

Die Anmeldung zur Lehrveranstaltung erfolgt über TISS. Diese ist
maßgeblich für die Teilnahme an der Lehrveranstaltung und unterliegt
den in den Studienplänen genannten Voraussetzungen.

Nach Abschluss der Anmeldeperiode wird für die Studierenden mit
valider Anmeldung ein persönliches Benutzerkonto auf der Maschine
g0.complang.tuwien.ac.at eingerichtet. Benutzerkennung und erstes
Losungswort werden jedem Teilnehmer durch Nachricht an die
Standardadresse e-Matr.Nr@student.tuwien.ac.at mitgeteilt. Dieses
erste Losungswort ist im Zuge des ersten Einbuchens auf das
Benutzerkonto durch ein selbstgewähltes neues Losungswort zu ersetzen.