Typen für Variablen

• dynamisch
• statisch
  • deklariert (durch Programmierer)
  • inferiert (durch Übersetzer)

    z. B. let in C#3

Vor/Nachteile: Lesbarkeit, Sicherheit, Kosten

bei Zuweisungen lhs := rhs

Wie genau muß Typ von rhs (Ausdruck) übereinstimmen mit deklariertem Typ von lhs (Variable)?

Beachte: Objekttypen, Zahltypen