Monad-Based Programming
[Vorherige Ausgabe: https://www8.cs.fau.de/teaching/ws21/mbp/ ]
[StudOn-Kurs: https://www.studon.fau.de/studon/goto.php?target=crs_4941835]
| Dozent | Sergey Goncharov |
| Vorlesung/Übungen | Mi 12:15 – 13:45, 02.133-113; Do 16:15 – 17:45, 02.133-113 |
| 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.)
Übungsblätter
- Assignment 1; Supplementing code: bt.hs; Deadline: Mai, 04
- Assignment 2; Code Template: natural_deduction_template.hs; Deadline: Mai,
1825 (Frist verlängert) - Assignment 3; Deadline: Juni,
814 (Frist verlängert) - Assignment 4; Deadline: Juni, 22
- Assignment 5; Code sample: erriosdemo.hs, Deadline: Juli, 6
- Assignment 6; Deadline: Juli, 20
Weitere Vorlesungsunterlagen
Ressourcen
- Eine inoffizielle Mitschrift
- Hoogle: a Haskell API search engine
- Quick introduction to Haskell in one Video, with a Cheat Sheet
- Monad-based parsing in Haskell
Literatur
- 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