Links und Funktionen
Sprachumschaltung

Navigationspfad


Inhaltsbereich

Material

Material und Nachrichten zur Vorlesung
FFP 01: Einführung in Haskell
Einführung in Haskell, Vergleich zu SML
FFP 02: Polymorphismus
Parametrischer Polymorphismus, Ad-hoc Polymorphismus, Funktoren, Module
FFP 03: Laziness
Verzögerte Auswertung, Zirkuläre Programme
sumWith Demo
Demonstration: Kosten Striktheit vs Verzögerte Auswertung
FFP 04: Applikative Funktoren & Monaden
Kinds, Newtype, Applikative Funktoren, Monaden und I/O
iffy versus miffy
Motivation für Monade; Code-Vorlage stammt aus "Applicative Programming with Effects" von Conor McBride und Ross Paterson.
Applikative Arithmetische Ausdrücke
Beispiel für ((->) a) als applikativer Funktor: Auswerten arithmetischer Ausdrücke mit Variablen im Kontext einer Variablenbelegung
FFP 05: Parallelität
Grundbegriffe Paralleles Rechnen, GpH, Eval-Monade, Par-Monade
FFP 06: Nebenläufigkeit
Fehlerbehandlung, Nebenläufigkeit mit forkIO, MVars, ASync und Software-Transactional-Memory (STM)
FFP 07: Records
Record-Syntax, NamedFieldPuns, RecordWildCards
FFP 08: Yesod (Teil 1)
Webapplikationen mit Yesod, GHC; Spracherweiterungen: OverloadedStrings, TypeFamilies, TemplateHaskell; Shakespear Templating Languages, Widgets
FFP 09: Yesod (Teil 2)
ViewPatterns, GADTs, Yesod (Teil 2): Routing, Handler, Formulare, Sessions, Persistenz
Code Vorlesung 9 (Yesod)
Code Beispiele zur Vorlesung 9 über Yesod
FFP 10: GUI mit GTK+
Existentiell Quantifizierte Datentypen; IORef; FunctionalDependencies; GUIs mit Haskell: threepenny-gui, Gtk2Hs-Ereignisschleife, -Widgets, -Container, Glade; Beispiele
TicTacToe - GTK Demo
Code zur Vorlesung am 28.01.2016
FFP 11: Debugging & Testen
Debugging mit GHCI, Trace, Assertions und QuickCheck
Einladung Projektpräsentationen
Einladung zu den FFP Abschlußprojektpräsentationen 14-18.März

Artikelaktionen


Funktionsleiste