[Haskell-cafe] State Machine and the Abstractions

Stephen Tetley stephen.tetley at gmail.com
Fri May 27 21:44:39 CEST 2011

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:


More information about the Haskell-Cafe mailing list