speculative execution (投機的実行)

Verse は失敗コンテキストを利用して、アクションをコミットせずに試行錯誤することができます。 これは投機的実行と呼ばれます。 式が成功した場合はその式のエフェクトがコミットされます。たとえば、変数の値の変更などがあります。 式が失敗すると、式のエフェクトはロールバックされ、式が評価されなかったようになります。