Monad-Based Programming — WiSe 2021
Dozent | Sergey Goncharov |
Vorlesung/Übungen | |
Zielgruppe | WF M-BA ab 3 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5) |
(Geeignet als WPF für Nebenfach Informatik in verschiedenen Studiengängen, insbesondere Mathematik.)
Achtung: nach letzten Angaben erfolgt die Lehre in WiSe 20/21 im Präsenzformat. Sollten Sie Interesse haben, kommen Sie einfach zum ersten Termin am 19-Okt. Gesonderte Anmeldung ist benötigt, aber es ist empfohlen über StudOn zu registrieren: https://www.studon.fau.de/crs4153453_join.html
Übungsblätter
- Übungsblätt 1; Abgabe 10.11.2021
11.11.2021 - Übungsblätt 2; Abgabe 24.11.2021
- Übungsblätt 3; Abgabe 10.12.2021
- Übungsblätt 4; Abgabe 23.12.2021
- Übungsblätt 5; Abgabe 21.01.2021 (Code)
- Übungsblätt 6; Abgabe 04.02.2021
Misc
- Eine inoffizielle Mitschrift
- Quick introduction to Haskell in one Video, with a Cheat Sheet
- Monad-based parsing in Haskell
- Small-step semantics of PCF in Haskell
Sources
- Andrew M. Pitts, Lecture Notes on Denotational Semantics.
- John C. Mitchell, Foundations for Programming Languages.
- Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction
- Marco Block, Adrian Neumann, Haskell Intensivkurs: ein kompakter Einstieg in die funktionale Programmierung (elektronische Ausgabe über Bibliothek FAU)
- Bryan O’Sullivan, Don Stewart, John Goerzen, Real World Haskell