Funktionale Programmierung

Dozenten

Aktuelles

Am Freitag, den 25. Juli um 20 Uhr findet ein Abschlusstreffen in der Forstbaumschule statt. Ich würde mich freuen, wenn viele von euch dabei sind und möchte hiermit insbesondere diejenigen einladen, die in letzter Zeit seltener in der Vorlesung / Übung gesehen wurden.

Daten

Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8,0, Modul: MS0304; Fachgebiet: Praktische Informatik
Zeit und Ort: Mo, 14:15 - 15:45, LMS2 - R.Ü1; Do 12:15 - 13:45, LMS2 - R.Ü1 vom 14.04.2008 bis 17.07.2008

Übung, 2 SWS
Zeit und Ort: Mi, 14:15 - 15:45, LMS2 - R.Ü2 vom 16.04.2008 bis 16.07.2008

Inhalt

Die Vorlesung gibt eine ausführliche Einführung in die funktionale Programmierung. Neben den Grundlagen (Lambda-Kalkül, Semantik, Polymorphismus) werden auch weiterführende Konzepte moderner funktionaler Sprachen vorgestellt. Hierbei liegt der Schwerpunkt auf dem praktischen Einsatz funktionaler Sprachen. Geplante Themen sind: effiziente Algorithmen und Datenstrukturen, Programmiertechniken, Parserkombinatoren, nebenläufige Programmierung, verteilte Programmierung, Debugging und Profiling.

Bei diesen Themen werden in der funktionalen Programmierung zum Teil andere Ansätze als in imperativen Sprachen gewählt. Es zeigt sich häufig aber auch, dass diese Ansätze auch im imperativen/objektorientierten Kontext tragen und zu verständlicherem Code führen.

Hauptsächlich werden wir uns mit der lazy funktionalen Programmiersprache Haskell beschäftigen. Bei der verteilten Programmierung wird außerdem die Sprache Erlang diskutiert.

Skript

Wir überarbeiteten das Skriptes regelmäßig zu jeder Vorlesung und stellen hier immer eine aktualisierte Version zur Verfügung.

Informationen zu den Übungen

• 1. Aufgabenzettel
• 2. Aufgabenzettel
• 3. Aufgabenzettel schicken Sie die Lösungen zu diesem Zettel bitte ausnahmsweise bis zum 5. Mai an Frank Huch (fhu@informatik.uni-kiel.de)
• 4. Aufgabenzettel
• 5. Aufgabenzettel Achtung: diese Serie wurde noch einmal überarbeitet
• 6. Aufgabenzettel die in der Übung entwickelten Lösungen zu den Aufgaben 16 und 17
• 7. Aufgabenzettel
• 8. Aufgabenzettel Achtung: die Observe.hs wurde noch einmal aktualisiert! Implementierung der Observe.hs aus der Vorlesung
  Musterlösungen: Aufgabe 22, Aufgabe 23, Aufgabe 24 und Aufgabe 25
• 9. Aufgabenzettel Implementierung der Parser aus der Vorlesung
  Musterlösungen: Aufgabe 26, Aufgabe 27, Aufgabe 28 und Aufgabe 29
• 10. Aufgabenzettel
• 11. Aufgabenzettel
  Musterlösungen: Aufgabe 34c, Aufgabe 35
• 12. Aufgabenzettel
  Musterlösungen: Aufgabe 38
• 13. Aufgabenzettel
• 14. Aufgabenzettel

Haskell

Die Programmieraufgaben sollen überwiegend in der Programmiersprache Haskell bearbeitet werden. Haskelldateien tragen die Endung .hs und können im Interpreter mit dem Kommando

:l [Dateiname ohne Endung]

/home/haskell/bin/hugs

/home/haskell/bin/ghci