Vorlesung:

Mo 10-12 online BBB

Keine Vorlesung am 20.12.2021 und 3.1.2022

Erste Vorlesung 2022 am Mo 10.Jan. 2021, 10-12 online BBB

Magnus Hörsaal Freitag 12-14; jede zweite Woche.

Die erste Klausur findet am Mi 23.2.2022 10:00 s.t im H8 statt.

Die zweite Klausur findet am Di. 29.3.2022 10:00 s.t. im H8 statt.

Skript

• Version vom 13. Dezember 2019: skript.pdf

Folien

• Organisatorisches: (Stand: 22. Oktober 2021)
  • Folien zum Organisatorischen
• Einleitung: (Stand: 19. Oktober 2021)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Funktionale Kernsprachen: (Stand: 8. November 2021)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1, Foliensatz 2 ]
• Haskell: (Stand: 6. Dezember 2021)
• Bunt mit Animation: [Foliensatz 1,Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1 ,Foliensatz 2 ]
• Typisierung: (Stand: 25.Januar 2022 )
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]
• Monadisches Programieren: (Stand: 7. Februar 2022)
• 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
  • Haskell Platform (enthält GHC, Bibliotheken und Tools): http://www.haskell.org/platform/
  • Glasgow Haskell Compiler: http://haskell.org/ghc
  • Weitere: http://www.haskell.org/implementations.html
• Werkzeuge
  • Build und packaging tool Cabal:http://haskell.org/cabal
  • Parsergenerator Happy: http://haskell.org/happy
  • Dokumentationswerkzeug Haddock: http://haskell.org/haddock
• 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]
  Agda-NWagner-Praesentation.pdf
• Skripte
  • Einführung in die Funktionale Programmierung (WS 2014 / 15): http://www.ki.informatik.uni-frankfurt.de/lehre/WS2014/EFP
  • Grundlagen der Programmierung 2 (SoSe 2016): http://www-stud.rbi.informatik.uni-frankfurt.de/~prg2/SS2016/index.html#Unterlagen

uni ffm © 2008