FFP Material
Materialien und Nachrichten zur Fortgeschrittenen Funktionalen Programmierung
Gesammelter Feed für alle Termine, Nachrichten und Materialien zur Vorlesung "Fortgeschrittene Funktionale Programmierung"
Bitte das Änderungsdatum der einzelnen Artikel beachten.
Titel | Artikeltyp | Beschreibung | Anfangsdatum | Erstellungsdatum | Änderungsdatum |
---|---|---|---|---|---|
Folien 11 | Datei | Debugging und Testen UPDATE: Bug auf Codebeispiel auf letzter Folie wurde nun behoben! | 30.01.2015 10:12 | 30.01.2015 14:13 | |
Codebeispiel, Folien 11 | Datei | * Lambda Terme auswerten als Beispiel für Debugging und Tracing * Lambda Terme zufällig generieren * QuickCheck & Template Haskell (Bug behoben) | 30.01.2015 14:12 | 30.01.2015 14:12 | |
Tic Tac Toe - mit funktionierender AI | Datei | Tic Tac Toe mit einer sehr einfachen Min-Max-AI | 29.01.2015 18:16 | 29.01.2015 18:16 | |
Tic Tac Toe | Datei | Primitive GUI für das Spiel Tic Tac Toe. | 23.01.2015 13:59 | 23.01.2015 13:59 | |
Folien 10 | Datei | Grafische Benutzeroberflächen mit Gtk2Hs | 16.01.2015 10:13 | 23.01.2015 10:01 | |
Codebeispiele zu Folien 10 | Datei | Existential Types und "Hello Gtk+ World" | 16.01.2015 16:47 | 16.01.2015 16:47 | |
Folien 09 | Datei | Yesod Framework - Teil 2 ViewPatterns, GADTs, Webformulare, Sessions, Persistenz | 19.12.2014 10:01 | 14.01.2015 17:11 | |
Codebeispiele zu Folien 9, Teil 2 | Datei | Behandelte Codebeispiele aus Foliensatz 09, Teil 02, als vollständig kompilier- und ausführbare Dateien: Yesod-Sessions Yesod-Message Yesod-Ultimate Dest... | 09.01.2015 13:02 | 09.01.2015 13:02 | |
Codebeispiel: Yesod Applikative Formulare | Datei | Code aus der Vorlesung zum Thema "Applikative Formulare mit Yesod" | 19.12.2014 13:14 | 19.12.2014 13:14 | |
Codebeispiel: Yesod Routing | Datei | Beispiel zu Routing & Handling mit Yesod | 19.12.2014 13:13 | 19.12.2014 13:13 | |
Folien 08 | Datei | Yesod -- ein Haskell Framework zum Erstellen von Webanwendungen | 12.12.2014 09:47 | 19.12.2014 10:00 | |
YesodMinimal | Datei | Minimales "HelloWorld"-Program zur Demonstration von Yesod | 12.12.2014 09:51 | 12.12.2014 09:51 | |
Folien 07 | Datei | Record Syntax | 05.12.2014 13:29 | 05.12.2014 13:29 | |
Folien 06 | Datei | Ausnahmen und Nebenläufigkeit (forkIO, MVars, Async, STM, TVars) | 28.11.2014 09:55 | 05.12.2014 13:28 | |
Folien 05 | Datei | Paralleles Rechnen mit GHC | 21.11.2014 10:02 | 27.11.2014 13:00 | |
Folien 04 | Datei | Applikative Funktoren und Monaden | 07.11.2014 09:58 | 14.11.2014 13:06 | |
Memoizing Ackermann | Datei | Beschleunigung der Ackermann Funktion durch Memoisation. Einmal mit Lazy Lists und einmal mit einer Hash-Table in einer Zustandsmonade. Zur Demonstration imp... | 14.11.2014 12:11 | 14.11.2014 12:11 | |
Codebeispiel: eval | Datei | Vereinfachung des Codes mit Applikativen Funktor | 07.11.2014 09:59 | 07.11.2014 09:59 | |
Folien 03 | Datei | Lazy Evaluation & Zirkuläre Programme | 24.10.2014 08:31 | 31.10.2014 10:00 | |
Codebeispiel: sumWith | Datei | Vergleich zwischen strikter und fauler Auswertung | 31.10.2014 09:59 | 31.10.2014 09:59 |
Artikelaktionen
abgelegt unter:
Programmierung und Modellierung