Statische Typisierung: für und wider

Für statische Typisierung spricht vieles.

Es funktioniert auch seit Jahrtzehnten (Algol 1960, ML 1970, C++ 1980, Java 1990 usw.)

Was dagegen?

• Typsystem ist ausdrucksschwach:

  (Bsp: keine polymorphen Container in C)

  Programmierer kann Absicht nicht ausdrücken

• Typsystem ist ausdrucksstark:

  (Bsp: kontravariante Typargumente in Java,C#)

  Programmierer muß Sprachstandard lesen und verstehen und dazu Konzepte (z.B. aus Vorlesung) kennen