 |
| Softwarekomponenten. Veranstaltung im Studiengang Master of Science (Informatik) |
Moodle
Für die Veranstaltung gibt es einen Moodle Kurs!
Folien
- Foliensatz 00 Thema
- Foliensatz 01 Datenabstraktion
- Foliensatz 02 Ana, Kata, Hylo: Algorithmische Abstraktion
- Foliensatz 03 Algebraischer Entwurf, initial und final codierte Daten
- Foliensatz 04 Funktoren
- Foliensatz 05 Filterbare Funktoren und natürliche Transformationen
- Foliensatz 06 Monaden
- Foliensatz 07 Leser- und Schreiber-Monade
- Foliensatz 08 Zustands-Monade
- Foliensatz 09 Fortsetzungs-Monade
- Foliensatz 10 Backtracking und die Plus-Monade
- Foliensatz 11 Monadentransformer
Übungen
Skript
- Softwarekomponenten – Softwaretechnik in funktionaler Sicht
Videos
- Video 01 Thema und Vorbemerkung
- Video 02 Datenabstraktion: objektorientiert und funktional
- Video 03 Typklassen in Scala 3
- Video 04 Algorithmische Komonenten Ana-, Kata- Hylomorphismen
- Video 05 Algebraischer Entwurf
- Video 06 Das Interpretermuster und der initiale Ansatz
- Video 07 Der finale Ansatz
- Video 08 Das Deserialisierungproblem: Erzeuge eine finale Codierung
- Video 09 Funktoren 1
- Video 10 Funktoren 2
- Video 10 Filterbare Funktoren und natürliche Transformation
- Video 10 Monaden 1
- Video 11 Monaden 2
- Video 12 Reader-Monade
- Video 13 Writer-Monade
- Video 14 State-Monade 1
- Video 15 State-Monade 2
- Video 14 Continuation-Monade 1
- Video 15 Continuation-Monade 2
- Video 16 Monadisches Backtracking 1
- Video 17 Monadisches Backtracking 2
- Video 18 Monadentransformer 1
- Video 19 Monadentransformer 2