Vorlesung:

Di 10-12 Präsenz H8 und online BBB

Hörsaal Magnus (RM-Straße) Freitag 14--16; jede zweite Woche. (siehe org-file bzw. Moodle dazu)

siehe Topseite

Skript

• Version vom Januar 2023: skript.pdf

Folien

• Organisatorisches: (Stand: Oktober 2025)
  • Folien zum Organisatorischen
• Einleitung: (Stand: 15. Oktober 2025)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Funktionale Kernsprachen: (Stand: 15. Oktober 2025)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1, Foliensatz 2 ]
• Funktionale Probability: (Stand: 18. November 2025)
• Bunt mit Animation: [Foliensatz Prob]
• 4 Folien pro Seite, weniger bunt: [Foliensatz Prob]
• Haskell: (Stand: 16. Dezember 2025)
• Bunt mit Animation: [Foliensatz 1 ,Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1 ,Foliensatz 2]

Programme

• Interpreter für den Lambda-Kalkül: [Lexer, Parser, Interpreter]
• Haskell Programme zu den ersten beiden Kapiteln: HaskellProgramme.hs
• Haskellprogramme zu Bäumen: HaskellBaeume.hs
• Beispiele zu Typklassen und Instanzen: TypklassenBeispiele.hs
• Programme zur Unifikation von Typen: typeUnifErr11.hs benötigt CombParserWithError11.hs und TypeUnifLexer.hs.
• Programme zur monadischen Programmierung: Monaden.hs und IOtutorialprogs.hs

Zur verwendeten Programmiersprache Haskell:

• Homepage von Haskell: https://www.haskell.org
• Haskell-Report: [PDF, online ]
• Haskell-Bibliotheken: [Standard-Bibliotheken, Bibliotheken auf Hackage
• Implementierungen
  • Glasgow Haskell Compiler: https://www.haskell.org/downloads
  • Haskell Platform (veraltet... enthält GHC, Bibliotheken und Tools): https://www.haskell.org/platform/
• Werkzeuge
  • Build und packaging tool Cabal:https://www.haskell.org/cabal
  • Parsergenerator Happy: https://www.haskell.org/happy
• Bücher
  • Richard Bird:Introduction to Functional Programming using Haskell - second edition
  • Simon Thompson: Haskell: The Craft of Functional Programming
  • Miran Lipovača: Learn You a Haskell for Great Good!
  • Manuel M. T. Chakravarty / Gabriele C. Keller: Einführung in die Programmierung mit Haskell
  • Weitere Bücher: https://www.haskell.org/haskellwiki/Books
• Tutorials
  • A Gentle Introduction to Haskell: https://www.haskell.org/tutorial/
  • Weitere Tutorials: https://www.haskell.org/haskellwiki/Tutorials
  • Dependent Types und Verifikation. Agda: Agda-Folien

uni ffm © 2008