[Haskell-cafe] '+++' and 'interleave'

Greg Fitzgerald garious at gmail.com
Mon Dec 4 18:51:56 EST 2006


Could ReadP's '+++' (symmetric choice) operator be implemented for all
Monads with the 'interleave' function mentioned in Backtracking,
Interleaving, and Terminating Monad
Transformers<http://portal.acm.org/ft_gateway.cfm?id=1086390&type=pdf&coll=GUIDE&dl=GUIDE&CFID=5430836&CFTOKEN=76321932>?
This paper was a tough read for me, but it looks like they solve the same
problem, but one interleaves computations within a monad and the other does
it from the outside.  Or am I just confused?

Thanks,
Greg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20061204/783e8462/attachment.htm


More information about the Haskell-Cafe mailing list