Vorlesung: Persistente Polymorphe Programmierung

Einführung in die Konzepte und die Pragmatik generischer Datenbankprogrammiersprachen höherer Ordnung. Einführung in Formalismen zur Definition, Klassifikation und Bewertung moderner Programmiersprachen. Erwerb praktischer Programmiererfahrungen in der begleitenden Übung.

Nr.: 18.220

Ort: VK F-534

Zeit: 10:00 - 12:00

KVV Text Vorlesung: Polymorphe persistente Programmierung

KVV Text Übung: Polymorphe persistente Programmierung

Veranstalter: Florian Matthes (Arbeitsbereich DBIS)

Semesterplan: s. Folie 3 und Folie 4 des 1. Termins

Folienkopien und Vorlesungsskript

PPP am Beispiel der Tycoon Sprache TL

• Einführung und Überblick
• Tycoon Einführung (1. Teil)
• Tycoon Einführung (2. Teil)
• Tycoon Einführung (3. Teil)
• Tycoon Einführung (4. Teil)
• Tycoon Einführung (5. Teil)

Fallstudien: Sprachen zur Datenbankprogrammierung

• Modulare Datenbankprogrammierung (DBPL)
• Systeme zur integrierten objektorientierten Datenbankprogrammierung: O2 (1. Teil)
• Systeme zur integrierten objektorientierten Datenbankprogrammierung: O2 (2. Teil)
• Praxisrelevante Systeme: VisualBasic

Formalismen zur Beschreibung und Klassifikation von Polymorphen Programmiersprachen

• Formale Typsysteme: Grundlagen und Motivation
• Strukturelle operationale Semantik
• Beschreibung polymorpher Typsysteme (F-Sub)
• Substitutionen und Sichtbarkeitsregeln (De-Bruijn Indices)
• Beschreibung von Typsystemen höherer Ordnung (FOmega-Sub)

Die Übungen (dbis_14) werden dienstags von 12 bis 14 Uhr und freitags von 14 bis 16 Uhr in Raum D-114 von Andreas Rudloff und Gerald Schröder betreut. Die Übungsaufgaben werden per e-mail an alle Teilnehmer verteilt. Die Lösungen (oder Fragen au├čerhalb der betreuten vier Übungsstunden) werden an den Tycoon Administrator tycoon geschickt. Auf Anfrage oder bei Abgabe einer gelösten Aufgabe werden die Musterlösung und die nächste Aufgabe verteilt. Die Aufgaben und Musterlösungen werden au├čerdem sukzessive über Mosaic veröffentlicht.

Übungsunterlagen

1. Einrichten einer neuen Tycoon Benutzerumgebung im FBIRZ
2. Einrichten eines neuen Tycoon Stores
3. Demos
4. Orthogonality
5. Using modules
6. Recursive Programming
7. Further programming
8. Programming styles & abstract data types
9. Type Operators
10. Parametric polymorphism
11. Subtyping and contravariance
12. Subtyping on mutable values
13. Generic abstract data types
14. Currying
15. Type operators & genericity
16. Emulating interfaces, modules and imports
17. Exceptions
18. Libraries & Modules
19. Iterations
20. Reduce Operator
21. Dictionaries