Deskriptive Programmierung, Sommersemester 2015

Für die entsprechende Vorlesung im Sommersemester 2016, siehe hier.

Organisatorisches:

Die drei wöchentlichen Termine (zweimal Vorlesung, einmal Übung) sind:

jeweils in der Römerstraße.

Aktuelle Informationen und fortlaufende Materialien zur Lehrveranstaltung befinden sich nun auf der Vorlesungsseite im eCampus-System der Uni Bonn (Link; Uni-ID nötig).

Exkursionen:

MPC 2015, IFL 2015

Inhaltliche Zusammenfassung:

Die Vorlesung führt deskriptive Programmierung (oder, auch gängige Bezeichnung: deklarative Programmierung) an Hand der funktionalen Programmiersprache Haskell und der logischen Programmiersprache Prolog ein. Ziel solcher Programmiersprachen ist es, Problembeschreibung und -lösung in den Vordergrund zu stellen, statt Überlegungen zu Operationen der ausführenden Maschine. Dies bedeutet Programmieren auf einem abstrakteren Niveau, insbesondere unter Anleihen in Algebra und Logik. Viele Problemstellungen können auf diese Weise sehr viel direkter modelliert werden als in "herkömmlichen" Sprachen, und im Idealfall stellt eine solche Modellierung/Spezifikation bereits ein ausführbares Programm dar. Der Hauptfokus der Vorlesung liegt aktuell auf funktionalem Programmieren mit Haskell. Haskell hält sich streng an den mathematischen Funktionsbegriff (insbesondere Seiteneffektfreiheit), bietet mächtige Abstraktionsmechanismen auf Funktions- und Typebene, und erlaubt Korrektheitsbeweise und effizienzverbessernde Programmtransformationen durch gleichungsbasiertes Schließen. Die Vorlesung führt Haskell ohne Annahme von Vorkenntnissen in funktionaler Programmierung ein und führt von einfachen Programmen zu allgemeinen Konstruktionsprinzipien, Sprachmechanismen zur flexiblen Wiederverwendung von Code, und Ansätzen zur Analyse und Transformation von Programmen. Durchgehend enthalten die Übungen einen großen Anteil Programmieraufgaben (in Einzelarbeit). Ein kleinerer Teil der Vorlesung widmet sich logischem Programmieren mit Prolog, wiederum mit Einführung von Grund auf, bis zu einfachen Programmen, den wichtigsten Sprachfeatures, und Behandlung des Operationalisierungsprinzips und der entsprechenden logischen Interpretation.

Voraussetzungen:

Die Lehrveranstaltung richtet sich in erster Linie an Bachelor-Studierende der Informatik. Sie gehört zum Wahlpflichtbereich, kann jedoch auch bereits im 2. Fachsemester belegt werden. Regelmäßig nehmen auch Studierende der Mathematik teil. Vorausgesetzt werden die Beherrschung des Programmierens in einer beliebigen Programmiersprache sowie mathematische und logische Grundlagen wie etwa in der Lehrveranstaltung Logik und diskrete Strukturen (insbesondere Kapitel 2 und 5 und der allgemeine Teil von Abschnitt 4.3) vermittelt.

Studentische Sicht auf die Lehrveranstaltung:

Durch die Fachschaft durchgeführte Lehrevaluationen:

Kann man funktionale Programmierung denn auch in der "echten Welt" einsetzen?

Ja, absolut, siehe zum Beispiel Commercial Users of Functional Programming.

Gibt es an der Uni Bonn weitere Lehrveranstaltungen zum funktionalen Programmieren?

Ja, als Fortsetzung denkbar sind eine Vorlesung Fortgeschrittene Funktionale Programmierung oder eine Projektgruppe Angewandte Funktionale Programmierung. Im Rahmen dieser Lehrveranstaltungen haben Studierende zum Beispiel die folgenden Webanwendungen entwickelt:

Einige Lehrbücher:

Online-Ressourcen:

Software:

Weiterführendes Material: