Vorlesung:

Veranstaltungsbeschreibung im QIS/LSF

• Bitte beachten Sie, dass in einer früheren Version des Skripts die Typsierungsregel für die Anwendung (RAPP) falsch war, in der aktuellen Version des Skripts (Seite 143) ist diese korrigiert.
• Am 26.01. um 19 Uhr findet am Fachbereich Informatik und Mathematik der Goethe Universität der Stammtisch der Java User Group Frankfurt mit dem Thema Clojure - die etwas andere Java-Alternative auf Einladung der Fachschaft Informatik statt.
• Die Abgabe für Blatt 5 ist Montag der 17.01.2011 (nicht Dienstag wie auf dem verteilten Blatt)
• Für die Show-Instanz in Aufgabe 1, Blatt 5, soll eine schöne Ausgabe erzeugt werden, z.B. könnte man für den Baum
  BiKnoten 'A' (0,BiKnoten 'B' (2,BiBlatt 'D') (3,BiBlatt 'E')) (1,BiKnoten 'C' (4,BiBlatt 'F') (5,BiBlatt 'G'))
  den String
  "(('D')<=2=('B')=3=>('E'))<=0=('A')=1=>(('F')<=4=('C')=5=>('G'))"
  oder auch z.B. (mit putStrLn ausgegeben):
  'A' |-0->'B' |-2->'D' `-3->'E' `-1->'C' |-4->'F' `-5->'G'
  erzeugen.
• Die Datei DebugBeispiel.hs demonstriert, wie man mit der Funktion trace aus dem Modul Debug.Trace Debug-Ausgaben erzeugen kann.
• In Aufgabe 1, Blatt 3 hat sich ein Fehler eingeschlichen, der Datentyp für DreiTupel sollte definiert werden als
  
  data DreiTupel a b c = T a b c
deriving(Show)

Unten ist die korrigierte Version des Blattes zu finden.
• Ab 18. November fängt die Übung um 14 s.t. an.
• Die Vorlesung findet bis auf Weiteres in Seminarraum 307 (Robert-Mayer-Str. 11-15, 3. Stock) statt.

Mo 10-12, SR 307 (Robert-Mayer-Str. 11-15, 3.Stock)

Do, 14 s.t., SR 9 (Robert-Mayer-Str. 11-15, EG)

Der genaue Plan für die Übungstermine ist (voraussichtlich):

Skript

• Version vom 28. März 2011: skript-28-Mar-2011.pdf

Folien

• Organisatorisches und Übersicht: (Stand: 18. Oktober 2010)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Einleitung: (Stand: 18. Oktober 2010)
  • Folien (bunt mit Animation)
  • Folien (4 Folien pro Seite, weniger bunt)
• Funktionale Kernsprachen: (Stand: 08. November 2010)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1, Foliensatz 2]
• Haskell: (Stand: 20. Dezember 2010)
• Bunt mit Animation: [Foliensatz 1, Foliensatz 2]
• 4 Folien pro Seite, weniger bunt: [Foliensatz 1,Foliensatz 2]
• Typisierung: (Stand: 31. Januar 2011)
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]
• Monadisches Programieren: (Stand: 14. Februar 2011)
• Bunt mit Animation: [Foliensatz]
• 4 Folien pro Seite, weniger bunt: [Foliensatz]

Programme

• Haskell Programme zu den ersten beiden Kapiteln: HaskellProgramme.hs (vom 29.11.2010)
• Haskellprogramme zu Bäumen: HaskellBaeume.hs (vom 29.11.2010)
• Interpreter für den Call-by-Name Lambda-Kalkül: LExp.hs (vom 06.12.2010)
• Beispiele zu Typklassen und Instanzen: TypklassenBeispiele.hs (vom 13.12.2010)
• Turingmaschine in Haskell: turing.hs (vom 20.12.2010)
• Beispiel-Programme zu IO in Haskell: io-ex.hs und zur monadischen Programmierung: Monaden.hs

Skript und Folien von Prof. Schmidt-Schauß (WS 09/10)

Sind auf der Webseite aus dem WS 09/10 zu finden.

Zur Programmiersprache Haskell:

• Haskell Homepage: http://haskell.org
• Haskell-Report: http://haskell.org/haskellwiki/Language_and_library_specification
• Dokumentation der 'Haskell Hierarchical Libraries': http://www.haskell.org/ghc/docs/latest/html/libraries/index.html
• Implementierungen
  • Haskell-Platform:
    
    ( http://hackage.haskell.org/platform )
  • Glasgow Haskell Compiler: http://haskell.org/ghc
  • HUGS: http://haskell.org/hugs
  • Liste weiterer Implementierungen: http://www.haskell.org/implementations.html
• GUI-Bibliotheken
  • Htk: http://www.informatik.uni-bremen.de/htk/
  • wxHaskell: http://wxhaskell.sourceforge.net/
  • Gtk2Hs: http://www.haskell.org/gtk2hs/
• Bücher:
  • Richard Bird: Introduction to Functional Programming using Haskell - second edition
  • Simon Thompson: Haskell: The Craft of Functional Programming
  • Manuel M. T. Chakravarty / Gabriele C. Keller: Einführung in die Programmierung mit Haskell
  • Bryan O'Sullivan, Don Stewart, John Goerzen: Real World Haskell
  • Weitere Bücher: http://www.haskell.org/bookshelf/#textbooks
• Tutorials
  • Paul Hudak, John Peterson, Joseph Fasel: A Gentle Introduction to Haskell
  • Martin Grabmüller: Monad Transformers Step by Step
    Tutorial, wie man Monadtransformers benutzen kann
  • Simon Peyton Jones: Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
  • Weitere Tutorials: http://www.haskell.org/haskellwiki/Tutorials
• Verschiedenes
  • Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler: A History of Haskell: being lazy with class
    Ein Artikel, der eine Übersicht über die Entstehung und Entwicklung von Haskell gibt.
  • hackageDB :: [Package]: http://hackage.haskell.org
    Eine Sammlung von Packages für Haskell
  • Hoogle - The Haskell API Search Engine: http://haskell.org/hoogle/
  • Haskell Wiki: http://haskell.org/haskellwiki/Category:Haskell

Bachelor

• Teilnahmevoraussetzung: Erfolgreicher Abschluss des Moduls B-PRG oder des Moduls B-HW oder der beiden Module B-MOD und B-DS.
• Nützliche Vorkenntnisse: Modul B-PRG.
• Die Veranstaltung ist Pflichtveranstaltung des Vertiefungsmoduls B-EFP. Das Modul B-EFP ist Wahlpflichtmodul im Vertiefungsgebiet BKSPP

Master

• Teilnahmevoraussetzung: Keine.
• Nützliche Vorkenntnisse: Modul B-PRG (aus dem Bachelorstudiengang)
• Die Veranstaltung ist Pflichtveranstaltung des Einführenden Moduls M-EFP (Fachgebiet: Informatik der Systeme)

uni ffm © 2008