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

Part II: Basics

• Elementary types, tuples, lists, strings
• Functions
• Type synonyms, new types, type classes
• Data type declarations, algebraic types
• Patterns and more

Part II: Applicative Programming      

• Recursion
• Evaluating expressions
• Program development, program understanding

Part IV: Functional Programming

• Higher-order functions
• Polymorphism

Part V: Foundations of Functional Programming

• Lambda calculus
• Evaluation orders
• Type checking, type inference

Part VI: Extensions and Advanced Concepts

• Input and output
• Error handling
• Modules
• Programming principles, programming with streams and higher-order functions

Part VII: Conclusions and Looking Ahead

• Conclusions, looking ahead
  

References

Appendix

• Formal models of computation
• Other functional languages

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 Tuesday, 3 October 2017, 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.