Ankündigung
(Sommersemester 2000)
Eine weitere Programmiersprache
Funktionale Programmierung mit SML
Prof. Dr. Helmut Seidl - Übersetzerbau - Informatik
In der Vorlesung Informatik I - Programmierung
haben wir im Detail die objekt-orientierte
Programmiersprache Java kennen gelernt.
In dieser Übung nun lernen wir eine weitere, ganz anders organisierte Programmiersprache kennen: SML.
SML ist eine der erfolgreichsten und am weitesten verbreiteten
funktionalen Programmiersprachen.
Aufgrund ihres benutzerfreundlichen Konzepts von Datentypen erlaubt sie eine einfache
und elegante Umsetzung von Spezifikationen.
Durch ein geeignetes Modul-Konzept unterstützt sie sowohl
strukturierte Programmierung als auch Software-Engineering und
Rapid Prototyping.
Aufbauend auf dieser Übung, bieten wir ein
Grundstudiums-Praktikum ``Programmieren in SML'' an.
Termin: Montag 8:30-10 Uhr, V 302
Literatur:
-
L.C. Paulson, "ML for the working programmer", Cambridge Univ. Press, 1996
-
Robert Harper, "Introduction to Standard ML", CMU, 1986-93,
Postscript-Version,
neuere HTML-Version.
Links:
- Downloads fürs Installieren zu Hause;
- SML/NJ
mit vielen Links auf Dokumentation, FAQs, ...
Folien und Übungsblätter:
Mögliche Themen im Praktikum
Email:
seidl@PSI.Uni-Trier.DE