Vorlesung:

Di 10-12 Präsenz H4 und online BBB

Hörsaal H11 Freitag 14--16; jede zweite Woche.

Skript

• Version vom Januar 2023: skript.pdf

Folien

• Organisatorisches: (Stand: Oktober 2023)
  • Folien zum Organisatorischen
• Einleitung: (Stand: 17. Oktober 2023)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Funktionale Kernsprachen: (Stand: 17 Oktober 2023)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1, Foliensatz 2 ]
• Funktionale Probability: (Stand: 21. November 2023)
• Bunt mit Animation: [Foliensatz Prob]
• 4 Folien pro Seite, weniger bunt: [Foliensatz Prob]
• Haskell: (Stand: 19. Dezember 2023)
• Bunt mit Animation: [Foliensatz 1,Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1 ,Foliensatz 2 ]
• Typisierung: (Stand: 9.Januar 2024 )
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]
• Typisierung Teil2: (Stand: 16.Januar 2024 )
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]
• Monadisches Programieren: (Stand: 6. Februar 2024)
• 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: http://haskell.org
• Haskell-Report: [PDF, online ]
• Haskell-Bibliotheken: [Standard-Bibliotheken, Bibliotheken auf Hackage
• Implementierungen
  • Glasgow Haskell Compiler: http://haskell.org/downloads
  • Haskell Platform (veraltet... enthält GHC, Bibliotheken und Tools): http://www.haskell.org/platform/
• Werkzeuge
  • Build und packaging tool Cabal:http://haskell.org/cabal
  • Parsergenerator Happy: http://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: http://www.haskell.org/haskellwiki/Books
• Tutorials
  • A Gentle Introduction to Haskell: http://www.haskell.org/tutorial/
  • Weitere Tutorials: http://www.haskell.org/haskellwiki/Tutorials
  • Dependent Types und Verifikation. Agda: Agda-Folien

uni ffm © 2008