STM in Clojure (Sicherheit)

Transaktionsvariablen ohne Transaktion benutzen:

• Haskell: statischer Typfehler
• Clojure: Laufzeitfehler

IO innerhalb einer Transaktion:

• Haskell: statischer Typfehler
• Clojure: ``I/O and other activities with side-effects should be avoided in transaction...''

Übung: ein Programm konstruieren, bei dem eine IO-Aktion innerhalb einer Transaktion stattfindet, aber die Transaktion nicht erfolgreich ist.