185.A05 Fortgeschrittene funktionale Programmierung
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2013S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Die Studierenden erhalten in Theorie und Praxis ein breites und
tiefes Verständnis fortgeschrittener Konzepte und Prinzipien
funktionaler Programmierung und ihrer Anwendungen und sind befähigt,
diese in bekannten und unbekannten Anwendungskontexten kompetent und
angemessen einzusetzen.

Inhalt der Lehrveranstaltung

Die Lehrveranstaltung vermittelt in Theorie und Praxis
fortgeschrittene Konzepte und Prinzipien funktionaler Programmierung
und ihre Anwendung. Die Vorlesung spannt dabei den Bogen von
funktionalen Programmierprinzipien über Qualitätssicherung und
fortgeschrittene Sprachkonzepte bis hin zu Anwendungen. Regelmäßig
gestellte Aufgaben im Übungsteil zu Problemstellungen passender Art,
Größe und Schwierigkeit erlauben die vorgestellten Konzepte und
Prinzipien unmittelbar und kontinuierlich praktisch zu erproben und
anzuwenden und führen so zu einem profunden theoretischen und
praktischen Verständnis der vorgestellten Konzepte und Prinzipien.

 Teil I: Motivation

  • Warum funktionale Programmierung wichtig ist

Teil II: Programmierprinzipien

  • Programmen mit Strömen
  • Programmieren mit Funktionen höherer Ordnung
  • Gleichungsbasiertes Rechnen mit Programmen

Teil III: Qualitätssicherung

  • Testen
  • Verifikation

Teil IV: Fortgeschrittene Sprachkonzepte

  • Funktionale Felder
  • Abstrakte Datentypen
  • Monoide
  • Funktoren
  • Monaden
  • Pfeile

Teil V: Anwendungen

  • Parsing
  • Logische Programmierung funktional
  • Pretty Printing
  • Funktionale reaktive Programmierung

Teil VI: Erweiterungen und Ausblick

  • Erweiterungen für Parallelität und "Real World"-Programmierung
  • Abschluss und Ausblick

 

Weitere Informationen

Am Mittwoch, den 06.03.2013, findet von 13 Uhr s.t. bis 14 Uhr im
Hörsaal EI4, 2. Stock, Gußhausstr. 25-29, eine gemeinsame
Vorbesprechung fuer alle am AB "Programmiersprachen und Übersetzer im
SS 2013 angebotenen Lehrveranstaltungen statt.

Eine spezifische Vorbesprechung für die LVA "Fortgeschrittene
funktionale Programmierung" und die erste Vorlesung finden am Do, den
07.03.2013, um 16 Uhr c.t. im "Seminarraum Argentinierstr." statt.

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.16:00 - 18:0007.03.2013 - 04.07.2013Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Fortgeschrittene funktionale Programmierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.07.03.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.14.03.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.21.03.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.28.03.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.04.04.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.11.04.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.18.04.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.25.04.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.02.05.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.09.05.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.16.05.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.23.05.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.30.05.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.06.06.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.13.06.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.20.06.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.27.06.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
Do.04.07.201316:00 - 18:00Seminarraum Argentinierstrasse Fortgeschrittene funktionale Programmierung
LVA wird geblockt abgehalten

Leistungsnachweis

Beurteilung von Beispielen und mündliche Prüfung. Die Gesamtnote setzt
sich je zur Hälfte aus der Übungsnote auf die Beispiele und der Note
für die mündliche Prüfung zusammen. Weitere Angaben zum
Beurteilungs- und Prüfungsablauf finden sich auf der homepage der
Lehrveranstaltung.

LVA-Anmeldung

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundlegende Kenntnisse des funktionalen Programmierparadigmas wie
etwa im Rahmen der Lehrveranstaltung LVA 185.A03 "Funkionale
Programmierung" vermittelt, werden vorausgesetzt.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch