Statisch getypte Sprachen

Daten sind typisiert, Namen sind typisiert

• Programmierer muß Typen von Namen deklarieren:

  C, Java, ...

• Compiler inferiert Typen von Namen:

  ML, F#, Haskell, C# (var)