Die Übugen zur Vorlesung Deklarative Programmiersprachen finden mittwochs von 14-16 Uhr im Raum Ü2 statt. Wenn Sie teilnehmen möchten, müssen Sie sich in der Sudierendendatenbank zur Übung anmelden.

Die Übungszettel werden auf dieser Seite bereitgestellt und dienstags in der Vorlesung ausgegeben. Sie müssen am darauf folgenden Dienstag in der Vorlesung abgegeben werden. Die Übungsaufgaben sollen in Zweiergruppen bearbeitet werden. Programmieraufgaben bitte per Email so an mich senden, dass ich sie direkt ausführen kann. Dabei ist es hilfreich, wenn im Betreff der Email der Name der Vorlesung, die Nummer der Aufgabe und die Namen aller abgebenden Personen stehen.

Prüfungsmodalitäten

Für Bachelorstudierende wird am Ende des Semesters eine Modulprüfung angeboten. Diplom- und Nebenfachstudierende müssen, um einen Leistungsnachweis zu erwerben, ebenfalls eine Prüfung am Vorlesungsende bestehen. Sie müssen sich im Gegensatz zu den Bachelorstudierenden für diese Prüfung qualifizieren, indem sie sich aktiv in die Übungen einbringen und mindestens die Hälfte der Übungsaufgaben erfolgreich bearbeiten.

Verwendete Programmiersprachen

Die Programmieraufgaben sollen in den Programmiersprachen Haskell oder Curry bearbeitet werden.

Haskell

Haskelldateien tragen die Endung .hs und können im Interpreter mit dem Kommando

:load [Dateiname ohne Endung]

geladen werden. Auf den Uni-Rechnern stehen Ihnen dazu Hugs oder der Glasgow Haskell Compiler zur Verfügung, die Sie mit

/home/haskell/bin/hugs

beziehungsweise

/home/haskell/bin/ghci

starten können. Weitere Informationen finden Sie auf der Haskell Seite des Instituts. Beide Systeme sind frei verfügbar. Wer die Programmieraufgaben lieber zuhause löst, kann sich eines von ihnen auf seinem eigenen Rechner installieren.

Curry

Currydateien tragen die Endung .curry und können im Interpreter mit dem Kommando

:load [Dateiname ohne Endung]

geladen werden. Auf den Uni-Rechnern steht Ihnen dazu das PAKCS-System zur Verfügung, das Sie mit

/home/pakcs/bin/pakcs

starten können. Auf der genannten Internetseite finden Sie auch weitere Informationen zur installation von PAKCS unter Linux, MacOS X oder SunOS. Als Alternative bietet sich der Münster Curry Compiler an, der sich (über Umwege) auch unter Windows installieren lässt.