David Menendez wrote:
I'm reminded of the parameterized monad of continuations that Oleg
mentioned a few years back.
http://www.haskell.org/pipermail/haskell/2007-December/020034.html
This is all very interesting, thank you both for the pointers!
I was trying to get rid of the newtypes but
For reference Oleg's indexed continuation monad is packaged on hackage in
category-extras as:
http://hackage.haskell.org/packages/archive/category-extras/latest/doc/html/Control-Monad-Indexed-Cont.html
-Edward Kmett
On Wed, Sep 16, 2009 at 7:07 AM, Martijn van Steenbergen
On Mon, Sep 14, 2009 at 11:25 AM, Martijn van Steenbergen
mart...@van.steenbergen.nl wrote:
Inspired by Sean Leather's xformat package [1] I built a datatype with which
you can build a monoid with holes, yielding a function type to fill in these
holes, continuation-passing style.
Neat!
I
On Mon, Sep 14, 2009 at 10:25 AM, Martijn van Steenbergen
mart...@van.steenbergen.nl wrote:
Hello cafe,
Inspired by Sean Leather's xformat package [1] I built a datatype with which
you can build a monoid with holes, yielding a function type to fill in these
holes, continuation-passing style
Hello cafe,
Inspired by Sean Leather's xformat package [1] I built a datatype with
which you can build a monoid with holes, yielding a function type to
fill in these holes, continuation-passing style. Here are some
primitives and their types:
now :: m - ContSt m r r
later :: (a - m
I noticed that Ralf Hinze posted a CPS monad yesterday.
Would someone be kind enough to post a simple example of a function that uses
CPS.
Thanks
Tom
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]