Vorlesung:

Di 10-12 Präsenz H8 und online BBB

Hörsaal H7 Freitag 14--16; jede zweite Woche. (siehe Moodle dazu)

siehe Topseite

Skript

• Version vom Januar 2023: skript.pdf

Folien

• Organisatorisches: (Stand: Oktober 2024)
  • Folien zum Organisatorischen
• Einleitung: (Stand: 22. Oktober 2024)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Funktionale Kernsprachen: (Stand: 12. November 2024)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1, Foliensatz 2 ]
• Funktionale Probability: (Stand: 25. November 2024)
• Bunt mit Animation: [Foliensatz Prob]
• 4 Folien pro Seite, weniger bunt: [Foliensatz Prob]
• Haskell: (Stand: 17. Dezember 2024)
• Bunt mit Animation: [Foliensatz 1]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1]
• Typisierung: (Stand: 13.Januar 2025 )
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]
• Typisierung Teil2: (Stand: 28.Januar 2025 )
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]

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