Functional Programming

Folien

Die Folien werden im Laufe des Semesters verfügbar gemacht.

• Vorlesung
  • 1. Organisation (4 auf 1)
  • 2. Einführung (4 auf 1)
  • 3. Einfache Typen, Typklassen, Pattern Matching und Polymorphismus (4 auf 1)
    Es gab eine Korrektur der Folien 19 und 25: Die Typklasse Num hat nicht Eq und Show als Voraussetzung. Folie 41 wurde korrigiert: hinter num_roots a b c gehört kein =-Zeichen.
  • 4. Funktionen höherer Ordnung (4 auf 1)
  • 5. Listen (4 auf 1)
    Aktuelle Version vom 2. 12. (Folien 17, 19 und 21 wurden korrigiert (Gleichungen von all_ndiv und rev sowie Typ von filter))
  • 6. Module und Abstrakte Datentypen (4 auf 1)
  • 7. Effizienz und Lazy Evaluation (4 auf 1)
  • 8. Ein- und Ausgabe (4 auf 1)
• Tutorium
  1. 1. Einführung (Installation, Terminal, ghci, Evaluation Strategies)
  2. 2. Funktionale Dekomposition, Parsen, Divide-and-Conquer
  3. 3. Funktionale Dekomposition, Parsen, Divide-and-Conquer Continued
  4. 4. Enumeration, Type-Declaration, Type-Variable and Type-Class
  5. 5. Pattern Matching, Polymorphic Functions and Type Classes
  6. 6. Type-Classes, Typing Algorithm, Guarded Equations, Tuples and Maybe
  7. 7. Type-Synonyms, Tuples, Characters, Strings,let…in and where
  8. 8. Higher-Order-Functions, Partial Application, “(.)", "($)” and λ Abstraction
  9. 9. Rollback Part 1 - 8
  10. 10. Lists, List Comprehension, filter, map, sortBy and fold
  11. 11. foldr and Modules
  12. 12. different types of recursion, infinite lists and laziness
  13. 13. in- and output(Zusatzfile)
  14. 14. Rollback Part 1 - 13

Videos

Die Video-Aufzeichnungen der Vorlesung werden mittels OLAT verfügbar gemacht.