Fortgeschrittene Funktionale Programmierung, Wintersemester 2014/15
Für die entsprechende Vorlesung im Wintersemester 2015/16, siehe hier.
Einträge im Vorlesungsverzeichnis:
Voraussetzung:
Materialien:
... auf
eCampus
Studierenden-Projekte:
Zum Abschluss des Semesters hatten die Studierenden eigene Projekte in der Programmiersprache Elm zu bearbeiten.
Die Ergebnisse:
Literatur / zum Weiterlesen:
- Why Functional Programming Matters, article by John Hughes (arguing the case of higher-order functions and lazy evaluation as means for improved modularity)
- Using Circular Programs to Eliminate Multiple Traversals of Data, article by Richard Bird (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
- Haskell-Wiki, zur Verwendung von seq
- Purely Functional Data Structures, PhD thesis by Chris Okasaki
- Algebraic Dynamic Programming homepage (Uni Bielefeld)
- Haskell-Wiki, zu GADTs
- QuickCheck-Folien von Andres Löh
- Less Is More - Generic Programming Theory and Practice, PhD thesis by José Pedro Magalhães
- Monads for functional programming, tutorial by Philip Wadler (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
- State in Haskell, article by John Launchbury and Simon Peyton Jones (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
- Propositions as Types, article by Philip Wadler
- Wiki articles on denotational semantics, generally, and on denotational semantics for Haskell, specifically
- A natural semantics for lazy evaluation, article by John Launchbury (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
- Towards a theory of type structure, article by John Reynolds (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
- Types, Abstraction and Parametric Polymorphism, article by John Reynolds
- Theorems for Free!, article by Philip Wadler (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
- Logical Abstractions in Haskell, article by Nancy A. Day et al.
- Free Theorems in the Presence of seq, article by Patricia Johann and Janis Voigtländer (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
Online-Ressourcen:
- Haskell homepage
- Elm homepage
- Agda homepage
- Functional Programming Fundamentals, online lectures by Erik Meijer (based on the Programming in Haskell book by Graham Hutton):
chapter 1,
chapter 2,
chapter 3,
chapter 4,
chapter 5,
chapter 6,
chapter 7,
chapter 8,
chapter 9,
chapter 10,
chapter 11,
chapter 12,
chapter 13
- Advanced Functional Programming, online lectures by Ralf Lämmel: lecture 1, lecture 2, lecture 3, lecture 4, lecture 5
- Real World Haskell, book by Bryan O'Sullivan, Don Stewart, and John Goerzen, freely available online
- Automatic generation of free theorems, our online generator (implementation described here)