The Paradox of Partial Parametricity

Mark S. Miller erights at
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>wrote:

> On Fri, May 10, 2013 at 2:18 PM, Mark S. Miller <erights at>
> 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the es-discuss mailing list