What Are We Arguing About? (was: Re: A Challenge Problem for Promise Designers)
rossberg at google.com
Mon Apr 29 07:25:38 PDT 2013
On 26 April 2013 17:58, Mark Miller <erights at gmail.com> wrote:
> I posed my challenge problem primarily as a response to Andreas' position.
> Andreas, please rewrite the *very small* example in the linked-to paper
> (Also at
> <https://code.google.com/p/es-lab/source/browse/trunk/src/ses/contract/>) in
> terms of the uniform non-flattening semantics you desire.
sorry for not having followed up on that, but for one, too much of my
bandwidth was eaten up by the modules thread for a sufficiently
detailed reply, and secondly, I felt that Tab was already doing a
terrific job of answering it (and generally unraveling most of the
misunderstandings in this thread). Also, it already was weekend over
So what Tab said, in reply to your challenge and elsewhere.
More information about the es-discuss