185.A05 Advanced Functional Programming
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2012S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

The participants shall conceive in theory and practice advanced
concepts and principles of functional programming and their
applications, and be able to use and apply them competently and
adequately in known as well as in new application scenarios.

Subject of course

The course is concerned with advanced concepts and principles of
functional programming and their applications. 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 a hands-on
experience of applying the concepts and principles to problems of
suitable kind, size and complexity to get to a profound understanding
of them 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
  • Functors
  • Monads
  • Arrows

Part V: Applications

  • Parsing
  • Logical Programming Functionally
  • Pretty Printing
  • Functional Reactive Programming

Part VI: Extensions and Prospectives

  • Extensions for Parallelism and Real World Programming
  • Conclusions and Prospectives

Additional information

Am Mittwoch, den 07.03.2012, findet von 13 Uhr s.t. bis 14 Uhr im Hoersaal EI4 eine gemeinsame Vorbesprechung fuer alle am AB Programmiersprachen und Uebersetzer im SS 2012 angebotenen Lehrveranstaltungen statt.

Eine spezifische Vorbesprechung fuer die LVA Fortgeschrittene funktionale Programmierung findet am Do, den 08.03.2012, um 16 Uhr c.t. im Seminarraum Argentinierstr. statt.

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu16:00 - 18:0001.03.2012 - 30.06.2012Seminarraum Argentinierstrasse Advanced Functional Programming
Wed14:00 - 16:0013.06.2012EI 3A Hörsaal LVA 185.A05 Advanced Functional Programming
Advanced Functional Programming - Single appointments
DayDateTimeLocationDescription
Thu01.03.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu08.03.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu15.03.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu22.03.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu29.03.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu05.04.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu12.04.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu19.04.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu26.04.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu03.05.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu10.05.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu17.05.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu24.05.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu31.05.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu07.06.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Wed13.06.201214:00 - 16:00EI 3A Hörsaal LVA 185.A05 Advanced Functional Programming
Thu14.06.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu21.06.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Thu28.06.201216:00 - 18:00Seminarraum Argentinierstrasse Advanced Functional Programming
Course is held blocked

Examination modalities

Grading assignments and oral examination. Further information on the
evaluation and grading process is available at the homepage of the
lecture course.

Course registration

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective
066 950 Didactic for Informatics Mandatory elective

Literature

No lecture notes are available.

Previous knowledge

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

Preceding courses

Accompanying courses

Miscellaneous

Language

German