Typsysteme
LVA 185.206, VO 2.0, 2010 W

Typsysteme

Ziele:

Die Teilnehmer sollen einen Überblick über verschiedene Typsysteme in Programmiersprachen und deren Vor- und Nachteile bekommen. Insbesondere sollen die Möglichkeiten und Grenzen der Verwendung von Typen aufgezeigt werden. Ein Schwerpunkt liegt auf Typen in neueren objektorientierten Sprachen.

Inhalt:

• Bedeutung des Begriffs Typ
• Klassifikation von Programmiersprachen anhand von Typsystemen
• Einfache theoretische Typmodelle (Lambda-Kalkül, Logik, Algebren)
• Typen in imperativen Sprachen (hauptsächlich Ada)
• Theoretische Modelle polymorpher Typsysteme und Typinferenz
• Sprachen mit polymorphen Typsystemen
• Verwendung polymorpher Typsysteme in der objektorientierten Programmierung (Schwerpunkt)

Didaktische Vorgehensweise:

Typsysteme ist eine Vorlesung klassischen Stils, also im Wesentlichen ein wöchentlich stattfindender Vortrag. Nach einem allgemeinen Überblick zur Begiffsbestimmung folgt der Hauptteil, in dem zyklisch wiederholt

• praktische Erfahrungen auf einem Teilgebiet des Themas zusammengefasst,
• darauf aufbauende formale Modelle vorgestellt
• und typische Anwendungen der Modelle beschrieben werden (die wieder zu praktischen Erfahrungen führen),

wobei die behandelten Teilgebiete in jedem Zyklus komplexer werden. Im letzten Teil der Vorlesung werden aktuelle Trends und Ansätze zur Lösung aktueller Probleme besprochen.

Voraussetzungen:

Programmierkenntnisse werden vorausgesetzt.

Anrechenbarkeit:

Die Vorlesung ist für das Magisterstudium Software Engineering / Internet Computing als Wahlfach mit 3 ETCS-Punkten anrechenbar.

Lehrbehelfe:

Ein Skriptum und Kopien von Folien stehen zum Download bereit. Dieselben Unterlagen wurden auch in den letzten Jahren verwendet.

Skriptum im PDF-Format

Folien zu Kapitel 1

Folien zu Kapitel 2

Folien zu Kapitel 3

Folien zu Kapitel 4

Folien zu Kapitel 5

Skriptum und Folien decken einen Großteil des Vorlesungsstoffes ab. Der letzte Teil (vor allem aktuelle Trends) ist in diesen Unterlagen jedoch nur sehr oberflächlich angerissen und wird in der Vorlesung genauer und breiter behandelt.

Zeit und Ort:

Die Vorlesung wird vom 8. Oktober 2010 bis 21. Jänner 2011 jeden Freitag von 9:15 bis 10:45 Uhr (pünktlich) im EI 3A (altes EI, 2. Stock) stattfinden. Eine Vorbesprechung wird es zu Beginn der ersten Vorlesungseinheit am 8. Oktober geben. Zuvor gibt es am Mittwoch, den 6. Oktober 2010 um 13:30 Uhr im EI 5 Hohenegg-Hoersaal (ebenso altes EI, 2. Stock) eine kurze Vorbesprechung desselben Inhalts im Rahmen einer Informationsveranstaltung über das Angebot an Wahllehrveranstaltungen der Complang-Gruppe.

Beurteilung:

Prüfungen sind mündlich. Prüfungstermine sind an jedem Montag von 11 bis 12 Uhr (außer in der vorlesungsfreien Zeit) und nach Vereinbarung.

Vortragender:

Franz Puntigam
Tel.: 58801/18514
franz@complang.tuwien.ac.at