Snippets tagged stateful execution

  • A reversible stateful execution workflow

    This is an attempt to define a workflow that contains reversible stateful computations. In the event of an exception being raised, all insofar successful operations will fold back to their original state. The implementation uses the notion of reversible computation primitives, which are composed using a free monad that is interpreted with a trampoline.

    6 people like this

    Posted: 4 years ago by Eirik Tsarpalis