ASQ Funktionale Programmierung
Unterlagen
| Tag | Slides | Code | Notes |
|---|---|---|---|
| 2022-10-20 | Slides | Haskell | |
| 2022-10-27 | Slides | Haskell | |
| 2022-11-03 | Slides | Haskell | |
| 2022-11-10 | Slides | Haskell | Video Countdown, Minute 26 |
| 2022-11-17 | Slides | Haskell | |
| 2022-11-24 | Slides | Haskell | |
| 2022-12-01 | Slides | Haskell | Option Monad |
| 2022-12-08 | Slides | Haskell | Parallel Fibonacci |
| 2022-12-15 | Slides | Haskell | |
| 2023-01-05 | Slides | Haskell | die Haskell-Libraries ‘mtl’ und ‘ansi-terminal’ müssen installiert sein |
| 2023-01-12 | Slides | Haskell | Arrays |
| 2023-01-19 | Slides | Haskell | Haskell Download ist ein Projekt! |
| 2023-01-26 | Slides | Haskell | Heute gab es eine grosse Menge Tafelbilder |
| 2023-02-02 | Slides | Haskell | |
| 2023-02-02 | Slides | Zusammenfassung wichtiger Themen |
Bitte beachtet, dass die Unterlagen nur begleitend zur VL sind, ich erkläre viel an der Tafel und am Code, Selbststudium mit den Folien ist schwer bis unmöglich
Lernmaterial für Haskell
- Learn you a Haskell
- easy to follow tutorial on programming with Haskell, in english
Kategorientheorie und Haskell
Die folgenden Links sind explizit nicht Teil der Vorlesung und können gerne ignoriert werden. Die Vorlesung soll primär eine Einführung in Haskell sein.
Kategorientheorie ist ein modernes Teilgebiet der Mathematik und dient der Beschreibung mathematischer Strukturen. Eine Begriffe aus der Kategorientheorie haben Eingang in den Wortschatz von Haskell gefunden.
Wer wirklich Interesse an einem Einstieg in die Kategorientheorie und ihre Verbindung zum Programmieren hat, kann mit Bartosz Milewski beginnen:
- https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
- https://github.com/hmemcpy/milewski-ctfp-pdf
“Hausaufgabe” VL 05 -> VL 06
- Versuchen sie zur nächsten VL eine Funktion showExpr :: Expr -> String zu schreiben
- Diese sollte einen korrekten Klammerstring erzeugen
- Eingabe z. B.
App Add (Num 1) (Num 2) - Ausgabe “1+2”
- Wenn man die Ausgaben in
token2Expr . tokenizehinein steckt dann sollte wieder die Eingabe dabei herauskommen - Das bedeutet das
id == token2Expr . tokenize . showExpr, alsoExprdie man erst mittelsshowExpranzeigt und danach parsed genau wieder die Expression ergeben sollten
Wo?
- ab Donnerstag, 2022-10-27 findet die Vorlesung hier statt:
- Jentower, Leutragraben 1, 07743 Jena
-
Raum: 08N04
- den Jentower betreten
- die Fahrstühle finden, sie befinden sich neben der Rezeption im Erdgeschoss
- vor den Fahrstühlen die “8” drücken
- ein Fahrstuhl A–F wird angezeigt, diesen betreten und im 8. Stock aussteigen
- dort gibt es zwei Glastüren, eine davon werde ich euch auf lassen
- den Raum 08N04 finden (nach der Glastür gleich links am Gang)