- Typ ist Menge von Werten mit Operationen
- für jede eigene Menge von Werten (Variablen)
aus dem Anwendungsbereich
benutze eine eigenen Typ
- halte verschiedene Typen sauber getrennt,
mit Hilfe der Programmiersprache
- der Typ einer Variablen/Funktion
ist ihre beste Dokumentation
Johannes Waldmann
2012-10-10