Da sich einige Leute schon sorgen machen um mich, da ich schon lange nichts mehr gelesen hätte, hier ein kleines Update:

• Worlds: Controlling the Scope of Side Effects, ein Paper unter anderem von Alan Kay (ja der ist immer noch aktiv) über sogenannte Worlds, so was ähnliches wie eine Transaktion, aber für Programmzustand. Ziemlich interessant, kompakt und einfach geschrieben.
• Verifiable Functional Purity in Java, ein Technik um zu beweisen, ob eine Methode in Java functionally pure ist, das heisst, die Methode darf nichts am Objekt selbst, nichts an den Parametern, gar nichts sonst irgendwo im System und muss für eine (gleiche) Menge Parameter immer dasseble Resultat liefern, darf also auch nicht von der Systemzeit oder so abhängig sein. Sobald man dies beweisen kann, lassen sich interessante Dinge damit anstellen, um beispielsweise zu zeigen, dass etwas reproduzierbar ist oder wenn es sich um Code aus unsicheren Quellen handelt.

Wer sich für solche Dinge interessiert sollte unbedingt den Feed von Lambda the Ultimate abonnieren. Alles was dort kommt ist (für mich zumindest) entweder interessant, oder aber viel zu hoch.