Vorlesung:

Di 10-12 Präsenz H4 und online BBB

Vorlesung am 6.12.2022 nur Online BBB

Vorlesung am 13.12.2022, fällt leider aus! Bitte Haskell-Folien Foliensatz 1 unten anschauen

Vorlesung am 20.12.2022 Präsenz und Online BBB

Hörsaal H4, Mittwoch 14--16; jede zweite Woche.

Die erste Klausur findet am Mi 22.2.2023 10:00 s.t im Hs V statt.

Klausur 1 Statistik

Die zweite Klausur findet am Di. 21.3.2022 10:00 s.t. im Hs III statt.

Klausur 2 Statistik

Skript

• Version vom Januar 2023: skript.pdf

Folien

• Organisatorisches: (Stand: 11. Oktober 2022)
  • Folien zum Organisatorischen
• Einleitung: (Stand: 11. Oktober 2022)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Funktionale Kernsprachen: (Stand: 1. November 2022)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1, Foliensatz 2 ]
• Funktionale Probability: (Stand: 22. November 2022)
• Bunt mit Animation: [Foliensatz Prob]
• 4 Folien pro Seite, weniger bunt: [Foliensatz Prob]
• Haskell: (Stand: 13. Dezember 2022)
• Bunt mit Animation: [Foliensatz 1,Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1 ,Foliensatz 2 ]
• Typisierung: (Stand: 15.Januar 2023 )
• 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
• Skripte
  • Einführung in die Funktionale Programmierung (WiSe 2014 / 15): https://www2.ki.informatik.uni-frankfurt.de/lehre/WS2014/EFP
  • Grundlagen der Programmierung 2 (SoSe 2016): https://www-stud.rbi.informatik.uni-frankfurt.de/~prg2/SS2016/index.html#Unterlagen

uni ffm © 2008