Re: [Haskell-cafe] State Machine and the Abstractions

On 27 May 2011 20:06, Yves Parès 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