EFP: Material
Materialien zur Vorlesung "Einführung in die Funktionale Programmierung"
Titel | Beschreibung | Erstellungsdatum | Änderungsdatum |
---|---|---|---|
Folien 13 - Debugging & Profiling | Debugging mit GHCI und QuickCheck; Profiling mit GHC und ThreadScope | 18.07.2013 19:41 | 18.07.2013 19:41 |
Angabe A11-2 | Programm Skelett für Aufgabe A11-2 "Parallele Berechnung" | 12.07.2013 09:56 | 12.07.2013 09:56 |
Folien 12 - Striktheit & Parallelität | Striktheit vs. Lazy Evaluation; Parallelität: GpH, STM & Par-Monade | 11.07.2013 22:40 | 12.07.2013 09:42 |
Code Vorlesung Monaden Teil 2 | Beispiel: Zustandsmonade zu Fuss | 03.07.2013 19:54 | 05.07.2013 15:07 |
Folien 11 - Lazy Evaluation | Auswertestrategien und Verzögerte Auswertung | 04.07.2013 18:08 | 05.07.2013 00:49 |
Folien 10 - Monaden | Erster Teil der Vorlesung zu Monaden | 28.06.2013 09:52 | 03.07.2013 18:03 |
Angabe A9-4 | Code Vorlage zu Aufgabe A9-4 | 28.06.2013 10:12 | 28.06.2013 13:31 |
Folien 09 - Funktoren & I/O | Input/Output in Haskell, Funktoren & die main Methode | 20.06.2013 17:55 | 28.06.2013 09:53 |
Codevorlage: A8-4 Unifikation II | Codevorlage zur Hausaufgabe A8-4 "Unifikation II". Sie können diese Vorlage verwenden, aber Sie können auch ausschliesslich mit der Angabe aus dem Übungsblat... | 24.06.2013 15:08 | 26.06.2013 14:10 |
putStrLn | putStrLn per Rekursion aus putChar zusammenbastlen | 21.06.2013 09:05 | 21.06.2013 09:05 |
Code 13 | Lösung der Programmierübung "nacheinander" mit dem expliziten Welten-Threading-Typ | 20.06.2013 23:06 | 20.06.2013 23:06 |
Folien 08 - Typsysteme | Typsysteme & Typinferenz | 12.06.2013 20:29 | 20.06.2013 22:19 |
Code10 - HOF Teil 2 | Dieser Code wurde während dem zweiten Teil der Vorlesung über Funktionen höherer Ordnung live erstellt und demonstriert. Einige Kommentare wurden nachträgli... | 06.06.2013 20:10 | 06.06.2013 20:10 |
Folien 07 - Funktion höherer Ordnung | Funktion, welche Funktionen verarbeiten | 29.05.2013 18:01 | 06.06.2013 20:07 |
Code 06 | Code der Live-Demos während Foliensatz 06. Inklusive korrekter Instanz für Read Frucht | 23.05.2013 20:26 | 23.05.2013 20:26 |
Folien 06 - Typklassen, Polymorphie, Module | 1) Unterschiedliche Arten von Polymorphie 2) Deklarieren und Verwenden von Typklassen 3) Module deklarieren und verwenden | 23.05.2013 18:08 | 23.05.2013 20:24 |
Folien 05 - Datentypen & Polymorphie | Wir lernen wie benutzerdefinierte Datentypen in Haskell verwendet werden können und sehen ein paar erste, einfach Beispielprogramme dazu. | 16.05.2013 17:45 | 16.05.2013 19:37 |
Folien 04 - Rekursion | Rekursion (Teil 1 + 2) | 26.04.2013 10:29 | 08.05.2013 22:10 |
Code 05 | Code aus dem zweiten Teil der Vorlesung über Rekursion | 08.05.2013 21:39 | 08.05.2013 21:39 |
Übung 01 | Erste Schritte, Auswerten, Typen bestimmen, List comprehension | 26.04.2013 10:09 | 26.04.2013 12:54 |
Artikelaktionen
abgelegt unter:
FunktionaleProgrammierung