Überblick

• alle Attribute aller Objekte sind unveränderlich (final)
• anstatt Objekt zu ändern, konstruiert man ein neues

Eigenschaften des Programmierstils:

• vereinfacht Formulierung und Beweis von Objekteigenschaften
• parallelisierbar (keine updates, keine data races)

  http://fpcomplete.com/the-downfall-of-imperative-programming/

• Persistenz (Verfügbarkeit früherer Versionen)
• Belastung des Garbage Collectors (...dafür ist er da)