Warum Typen?

• 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