Statisch typisiert ⇒ sicher und effizient

• Programmtext soll Absicht des Programmierers ausdrücken.
• dazu gehören Annahmen über Daten,
  formuliert mittels Typen (foo::Book)

  ...alternative Formulierung:
  Namen (fooBook, Kommentar foo // Book)

• nur durch statische Typisierung kann man Absichten/Annahmen maschinell umfassend prüfen

  ...alternative Prüfung: Tests

• ist nützlich für Wiederverwendbarkeit
• ist nützlich für sichere und effiziente Ausführung