it's an interesting idea - like transactions for applications.

it seems to me like they're basically taking the ideas behind a STM and exposing them through a simple language construct.