Fortgeschrittene funktionale Programmierung
LVA 185.A05, VU 2.0, ECTS 3.0, 2018 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

• Changes are announced here.

  Note: Due to construction work, the Seminarraum Argentinierstr. EAEG06 is not available in the summer term 2018. Please, be thus aware of changes in room and time on short notice.

• Thursday, June 21, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8 (final lecture).
• Thursday, June 14, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, June 7, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, May 31, 2018: No lecture (Public holiday)
• Thursday, May 24, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, May 17, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, May 10, 2018: No lecture (Public holiday)
• Thursday, May 3, 2018: No lecture
• Thursday, April 26, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, April 19, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, April 12, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, April 5, 2018: No lecture (Easter holiday)
• Thursday, March 29, 2018: No lecture (Easter holiday)
• Thursday, March 22, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, March 15, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, March 8, 2018, 4.15 p.m. - 5.45 p.m., FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.
• Thursday, March 1, 2018, 4.15 p.m. - 5.45 p.m., preliminary course meeting and first lecture, FH Hörsaal 2, Freihausgebäude, Turm B, gelber Bereich, 2. OG, Wiedner Hauptstr. 8.

Registration and Course Start

Registration takes place via TISS at TISS/185.A05 tentatively until Friday, 9 March 2018, 1.00 pm.

The course starts with a preliminary course meeting and the first lecture tentatively on Thursday, 1 March 2018, from 4.15 p.m. to 5.45 p.m. in the lecture room on the ground floor of the Institutsgeb. located at Argentinierstr. 8.

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

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. 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: 06/22/2018.
Pre-Meeting (03/01/2018)	Motivation, organizational issues	pdf	Latest update: 03/01/2018.

 

Tutorial	Delivery date	Assignments	Hints and remarks
Wed, 13.06.2018	Wed, 20.06.2018 (15:00)	Assignment 8	Final assignment.
Wed, 06.06.2018	Wed, 13.06.2018 (15:00)	Assignment 7	None.
Wed, 23.05.2018	Wed, 06.06.2018 (15:00)	Assignment 6	Code fragments for assignment 6. Submission period two weeks. Next lecture: Thu, June 7, 2018 (because of a public holiday on May 31, 2018).
Wed, 16.05.2018	Wed, 23.05.2018 (15:00)	Assignment 5	None.
Thu, 26.04.2018	Wed, 09.05.2018 (15:00)	Assignment 4	Submission period two weeks. Next lecture: Thu, May 17, 2018 (because of a public holiday on May 10, 2018).
Wed, 11.04.2018	Wed, 02.05.2018 (15:00)	Assignment 3	Submission deadline extended by one week (04/18/18). Note the modifications of 04/18/26.
Wed, 21.03.2018	Wed, 11.04.2018 (15:00)	Assignment 2	Easter break (03/26-04/06/2018).
Wed, 14.03.2018	Wed, 21.03.2018 (15:00)	Next lecture: Thu, May 17, 2018 (because of a public holiday on May 10, 2018). Assignment 1	Submitting assignments: home directory of your group account.

Lecturer

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