Funktionale Programmierung/Höhere Programmiersprachen (WS19/20)
Praktische und theoretische Konzepte und Methoden funktionaler Programmiersprachen sowie Einführung
in die funktionale Programmierung anhand der Programmiersprache Haskell. Schwerpunkte sind
funktionale Datenstrukturen, Typensysteme und Auswertungsstrategien.
- Ravi Sethi: Programming Languages: Concepts and Constructs, 2. Ausgabe, Addison Wesley, 2003
- Robert W. Sebesta: Concepts of Programming Languages, 9. Ausgabe, Addison Wesley, 2009
- Richard Bird: Introduction to Functional Programming using Haskell, 2. Ausgabe, Prentice Hall, 1998
- Simon Thompson: Haskell: The Craft of Functional Programming, 3. Ausgabe, Addison Wesley, 2011
- Simon L. Peyton Jones: The Implementation of Functional Programming Languages, Prentice Hall, 1987
- Glynn Winskel: The Formal Semantics of Programming Languages, MIT Press, 1993
Falls Sie eine Prüfungsvorleistung erbringen müssen,
geben Sie Ihre Lösungen bitte jeweils vor Beginn der ersten Übungseinheit (Montag
15:30 Uhr) beim Übungsleiter ab oder senden sie bis zu diesem Zeitpunkt per E-Mail an
ronny.kramer@informatik.tu-chemnitz.de.
- 1. Übungsserie (Termine: 28. Oktober 2019 und 1. November 2019)
- 2. Übungsserie (Termine: 4. und 8. November 2019)Anleitung für die Haskell-Ausführung
- 3. Übungsserie (Termine: 11. und 15. November 2019)
- 4. Übungsserie (Termine: 18. und 22. November 2019)
- 5. Übungsserie (Termine: 25. und 29. November 2019)
- 6. Übungsserie (Termine: 2. und 6. Dezember 2019)
- 7. Übungsserie (Termine: 9. und 13. Dezember 2019)
- 8. Übungsserie (Termine: 16. und 20. Dezember 2019)
- 9. Übungsserie (Termine: 6. und 10. Januar 2020)
- 10. Übungsserie (Termine: 13. und 17. Januar 2020)
- 11. Übungsserie (Termine: 20. und 24. Januar 2020)
- Konsultation: (Termine: 27. und 31. Januar 2020)
- Inhaltsverzeichnis (Stand: 28.10.2019)
- Einführung (Stand: 28.10.2019)
- Darstellung Syntaktischer Strukturen (Stand: 28.10.2019)
- Haskell ‐ Einleitung (Stand: 28.10.2019)
- Haskell ‐ Grundlegende Konstrukte (Stand: 28.10.2019)
- Haskell ‐ Zusammengesetzte Datentypen (Stand: 28.10.2019)
- Haskell ‐ Funktionen höherer Ordnung und Funktionen höherer Ordnung auf Listen (Stand: 11.11.2019)
- Haskell ‐ Algebraische Datentypen (Stand: 11.11.2019)
- Typ-Klassen in Haskell (Stand: 14.11.2019)
- Haskell ‐ Lazy-Auswertung (Stand: 14.11.2019)
- Lambda-Kalkül ‐ Syntax (Stand: 14.11.2019)
- Lambda-Kalkül ‐ Gebundene und freie Variablen (Stand: 14.11.2019)
- Lambda-Kalkül ‐ Konversionsregeln und Darstellung von Wahrheitswerten und logischen Funktionen (Stand: 16.12.2019)
- Operationelle Semantik - 1 (Stand: 16.12.2019)
- Operationelle Semantik - 2 (Stand: 16.12.2019)
- Invarianten und Korrektheit (Stand: 16.12.2019)
- Beweisregeln der Hoare Logik für partielle Korrektheit (Stand: 16.12.2019)
- Denotationelle Semantik (Stand: 19.01.2019)
- Denotationelle Semantik - Fixpunkte (Stand: 19.01.2019)