[Haskell-cafe] Building a monoid, continuation-passing style
ekmett at gmail.com
Wed Sep 16 09:41:34 EDT 2009
For reference Oleg's indexed continuation monad is packaged on hackage in
On Wed, Sep 16, 2009 at 7:07 AM, Martijn van Steenbergen <
martijn at van.steenbergen.nl> wrote:
> David Menendez wrote:
>> I'm reminded of the parameterized monad of continuations that Oleg
>> mentioned a few years back.
> This is all very interesting, thank you both for the pointers!
> I was trying to get rid of the newtypes but couldn't think of how to do
> that. I can't believe the solution now is as simple as (m -> r) -> a.
> There's hardly any code left, now.
> The fact that it all exists already is nice on the one hand and sad on the
> other. :-)
> I will have to look into parametrized monads and parametrized applicatives.
> Thanks again,
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe