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	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