[Haskell-cafe] free vs. operational vs. free-operational

Oliver Charles ollie at ocharles.org.uk
Thu Nov 28 15:17:19 UTC 2013


On 11/28/2013 12:59 PM, Clark Gaebel wrote:
> Reader/Writer/State are handled in extensible-effects inside
> Control.Eff.State. Cont is handled in Control.Eff.Coroutine (although
> could use better documentation, patches welcome!). RWS isn't done, but
> I don't see why it can't be implemented in terms of State! Error is
> provided by Control.Eff.Exception, and a substitute for monad-supply
> is provided by Control.Eff.Fresh. Random numbers are in a new package:
> system-random-effect.
>
> Eff is an instance of applicative, but not MonadPlus. I don't
> immediately see a way to make it an instance of MonadPlus, especially
> since we can have an 'IO' effect.
And if you do want MonadPlus-like stuff, you just add in the "Choice"
effect - right?

- ocharles
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131128/627c8f93/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131128/627c8f93/attachment.sig>


More information about the Haskell-Cafe mailing list