Fortgeschrittene funktionale Programmierung
LVA 185.A05, VU 2.0, ECTS 3.0, 2015 S

(zweistündige Vorlesung mit Übung; siehe auch TISS/185.A05)

Are you interested in studying abroad and getting funding for this?

Information on funding opportunities is available here.

Course Meetings

Thursday, June 25, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Friday, June 19, 2015: 4.15 p.m. - 5.45 p.m., EI 4 Reithoffer HS, Elektrot.Institutsg., Gußhausstr. 25-29, 2nd floor.
Thursday, June 18, 2015: No lecture to allow attending the epilog.
Thursday, June 11, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, June 4, 2015: No lecture (public holiday)
Thursday, May 28, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, May 21, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, May 14, 2015: No lecture (public holiday)
Thursday, May 7, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, April 30, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, April 23, 2015: No lecture
Thursday, April 16, 2015: No lecture
Thursday, April 9, 2015: No lecture (Easter holiday)
Thursday, April 2, 2015: No lecture (Easter holiday)
Friday, March 27, 2015: 4.15 p.m. - 5.45 p.m., EI 4 Reithoffer HS, Elektrot.Institutsg., Gußhausstr. 25-29, 2nd floor.
Thursday, March 26, 2015, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, March 19, 2015: No lecture
Thursday, March 12, 2015: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, March 5, 2015, 4.15 p.m. - 5.45 p.m., specific pre-meeting and first lecture, lecture room on the ground floor of the building Argentinierstr. 8.

Course Pre-Meeting

A specific pre-meeting for the course takes place on Thursday, 5 March 2015, 4 p.m., in the lecture room Seminarraum, Argentinierstraße 8.

Registration

The electronic course management system for registration is open until 13 March 2015.

Subject and Aim

The course is concerned with advanced concepts and principles of functional programming and their applications, which the participants shall learn and conceive in depth and to use and apply competently and adequately in known as well as in new application scenarios. The lecture part of the course stretches from functional programming principles to quality assurance, advanced languages concepts, and applications. Regularly assigned exercises of the tutorial part of the course give an hands-on experience of applying the concepts and principles to problems of suitable kind, size and complexity to deepen their understanding in theory and practice.

Part I: Motivation
- Why Functional Programming Matters
Part II: Programming Principles
- Programming with Streams
- Programming with Higher-Order Functions
- Equational Reasoning
Part III: Quality Assurance
- Testing
- Verification
Part IV: Advanced Language Concepts
- Functional Arrays
- Abstract Data Types
- Monoids
- Functors
- Monads
- Arrows
Part V: Applications
- Parsing
- Logical Programming Functionally
- Pretty Printing
- Functional Reactive Programming
Part VI: Extensions and Prospectives
- Extensions to Parallelism and Real World Programming
- Conclusions and Prospectives

Related Course:

A perfect add-on this term is to attend also the complementary course on:

Haskell-Praxis: Programmieren mit der Funktionalen Programmiersprache Haskell (127.008 VU 2.0 ECTS 3.0)
(Tue, 3.00pm to 4.30pm, Seminar room 127, 3rd floor, Gußhausstr. 25-29)
Prof. Dr. Andreas Frank
Institut für Geoinformation und Kartographie
(The course is held in English)

Previous Knowledge

Basic knowledge of the functional programming style as imparted e.g. in the course LVA 185.A03 Funktionale Programmierung is mandatory.

Examination and Final Grade

The final grade is composed of the grades of the weekly assignments (50%) and the grade of the final oral examination (50%). The final oral examinations will be by appointment and will stretch over the assignments and the chapters 1 to 11, and 13 of the lecture course. Please make an appointment by e-mail or phone.

Course Materials

Documents for the lecture and tutorial part of the course will be provided on time.

Lecture	Topic	Slides	Hints and remarks
Lecture Notes	Chap. 1 thru Chap. 18, Bibliography, Appendix	pdf	Latest update: 05/28/2015.
Pre-Meeting (03/05/2015)	Motivation, organizational issues	pdf	Latest update: 03/04/2015.
General E185.1 Pre-Meeting (cancelled)	Motivation	pdf	Latest update: 03/03/2015.

Tutorial	Due date/2nd due date	Assignments	Hints and remarks
Tue, 24.06.2015		Assignment 10	Keine Abgabe; freies Üben.
Tue, 26.05.2015	Wed, 03.06.2015 (12:00) / Wed, 10.06.2015 (12:00)	Assignment 9	Wg. Pfingstverschiebung beide Abgaben am Mittwoch statt am Dienstag.
Tue, 19.05.2015	Wed, 27.05.2015 (12:00) / Wed, 03.06.2015 (20:00)	Assignment 8	Wg. Pfingstferien beide Abgaben am Mittwoch statt am Dienstag.
Tue, 12.05.2015	Tue, 19.05.2015 (12:00) / Wed, 27.05.2015 (12:00)	Assignment 7	Wg. Pfingstferien Zweitabgabe am Mittwoch statt am Dienstag.
Tue, 05.05.2015	Tue, 12.05.2015 (12:00) / Tue, 19.05.2015 (12:00)	Assignment 6	None.
Tue, 28.04.2015	Tue, 05.05.2015 (12:00) / Tue, 12.05.2015 (12:00)	Assignment 5	None.
Tue, 21.04.2015	Tue, 28.04.2015 (12:00) / Tue, 05.05.2015 (12:00)	Assignment 4	None.
Tue, 14.04.2015	Tue, 21.04.2015 (12:00) / Tue, 28.04.2015 (12:00)	Assignment 3	None.
Tue, 24.03.2015	Tue, 14.04.2015 (12:00) / Tue, 21.04.2015 (12:00)	Assignment 2	None.
Tue, 17.03.2015	Tue, 24.03.2015 (12:00) / Tue, 21.04.2015 (12:00) (was: Tue, 14.04.2015 (12:00))	Assignment 1	Submitting assignments: home directory of your group account. Deadline for second submission extended by one week (14.04.2015).

Lecturer

Jens Knoop, Tel.: 58801-18510, E-mail: knoop@complang.tuwien.ac.at