Proposal: Applicative => Monad: Call for consensus

[Jan-Willem Maessen]

On Mon, Jan 17, 2011 at 7:24 PM, Jan-Willem Maessen
<jmaessen at alum.mit.edu> wrote:

> Using these definitions, and join = (>>= id), we obtain:
>
> join (CPS cca) = CPS (\k -> cca (\ca -> unCPS ca k))
>
> That is, we construct a fresh continuation that we pass to cca, that
> receives the computation ca returning an a, and invokes ca with
> continuation k.  I believe this is rather different from your
> definition, as the type of the continuation that we pass to cca is
> (say)  a -> r  in the above definition, but is a -> a in yours.

Argh, I meant ca -> r and ca -> ca in the types above.  Which just
goes to show, I suppose.

-Jan