The students gain a comprehensive theoretical and practicalunderstanding of the foundations, principles, and concepts offunctional programming, learn to valuate their eligibility for thesolution of programming tasks, and to apply them adequately andmeaningfully in the functional programming style.
The course introduces the principles and concepts of functionalprogramming, where it stretches from the foundations to theapplication. Using concrete problems as examples it will bedemonstrated and discussed how to use them for solving problems in thecomplementary plenary tutorial Haskell Live. Own proposals to solvespecific problems can be presented and put up fordiscussion. Practical assignments as part of the lab tutorial offerthe opportunity to independently apply and practice the functionalprogramming style, and to gain a deep practical understanding of theconcepts and principles of functional programming. For demonstrationand implementation in course and tutorials the state-of-the-artfunctional programming language Haskell is used.
Part I: Introduction
Part II: Applicative Programming
Part III: Functional Programming
Part IV: Foundations of Functional Programming
Part V: Extensions and Advanced Concepts
Part VI: Conclusions and Prospectives
ECTS Break Down:
The course is assigned 3.0 ECTS points. This corresponds to an averageworkload of 75 hours. This average workload is divided among thevarious parts of the course as follows:
The lecture course starts on Tue, 7 October 2014, 08.15am-09.45am.
Assessment of the programming assignments and the written examinationon the lecture and tutorial material. Further information on theexamination modalities are given on the homepage of the course.
Die Anmeldung zur Lehrveranstaltung erfolgt über TISS. Diese istmaßgeblich für die Teilnahme an der Lehrveranstaltung und unterliegtden in den Studienplänen genannten Voraussetzungen.
Nach Abschluss der Anmeldeperiode wird für die Studierenden mitvalider Anmeldung ein persönliches Benutzerkonto auf der Maschineg0.complang.tuwien.ac.at eingerichtet. Benutzerkennung und erstesLosungswort werden jedem Teilnehmer durch Nachricht an dieStandardadresse e-Matr.Nr@student.tuwien.ac.at mitgeteilt. Dieseserste Losungswort ist im Zuge des ersten Einbuchens auf dasBenutzerkonto durch ein selbstgewähltes neues Losungswort zu ersetzen.