On 27 May 2011 20:06, Yves Parès <limestr...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
