Konstanten

= Variablen, an die genau einmal zugewiesen wird

• C: const (ist Attribut für Typ)
• Java: final (ist Attribut für Variable)

Vorsicht:

class C { int foo; }
static void g (final C x) { x.foo ++; }

in funktionaler Programmierung (Haskell) sind alle ,,Variablen`` konstant und alle Objekte immutable.

das sollte man auch in imperativen Sprachen so weit wie möglich nachmachen.

Merksatz: alle Deklarationen so (lokal und so) konstant wie möglich!