[Haskell-cafe] State Machine and the Abstractions

[Stephen Tetley]

On 27 May 2011 20:06, Yves Parès <limestrael at gmail.com> wrote:

> So I thought about Arrows, as they can express sequential and parallel
> actions, but I don't know if it would be a right way to model the
> interruptions/recoveries.
> What do you think about it? Do you know of similar situations and of the way
> they've been solved?

Resumption monads?

Take a look at William Harrison's work especially the CellSys DSL and
the models of operating systems:

http://people.cs.missouri.edu/~harrisonwl/publications.html