The Paradox of Partial Parametricity

Mark S. Miller erights at google.com
Fri May 10 14:37:53 PDT 2013


Fine. If there are no further objections, the three architectures are

Unabashed Monadic Promises
Q-Like Promises
Abashed Monadic Promises




On Fri, May 10, 2013 at 2:28 PM, Tab Atkins Jr. <jackalmage at gmail.com>wrote:

> On Fri, May 10, 2013 at 2:18 PM, Mark S. Miller <erights at google.com>
> wrote:
> > Hi Tab, these are the three architectures I am trying to compare in
> order to
> > make a point. Since you don't like the labels I've chosen for them,
> please
> > suggest alternatives that should be clear and acceptable to all so that
> we
> > can resume the conversation. Thanks.
>
> Nobody is suggesting or wants a "pure" monadic option, so it's
> unimportant what you call it.
>
> ~TJ
>



-- 
    Cheers,
    --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20130510/8f33ddf3/attachment.html>


More information about the es-discuss mailing list