Nächste Seite: Warum Typen? Aufwärts: Prinzipien von Programmiersprachen Vorlesung Vorherige Seite: Übungen (Invarianten)

Typen

Unterabschnitte

Warum Typen?
Historische Entwicklung
Überblick
Aufzählungstypen
Keine Aufzählungstypen
Aufzählungstypen in C
Aufzählungstypen in Java
Teilbereichstypen in Ada
Abgeleitete Typen in Ada
Zusammengesetzte Typen
Produkttypen (Records)
Summen-Typen
Vereinigung mittels Interfaces
Maßeinheiten in F#
Rekursiv definierte Typen
Potenz-Typen
Felder (Arrays)
Felder in C
Felder in Java
Felder in C#
Nicht rechteckige Felder in C?
Dynamische Feldgrößen
Kosten der Bereichsüberprüfungen
Verweistypen
Verweis- und Wertsemantik in C#
Algebraische Datentypen in Pascal, C
Übung Typen

Johannes Waldmann 2013-01-28