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
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>
> > 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,
> > suggest alternatives that should be clear and acceptable to all so that
> > can resume the conversation. Thanks.
> Nobody is suggesting or wants a "pure" monadic option, so it's
> unimportant what you call it.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the es-discuss