Re: What Are We Arguing About? (was: Re: A Challenge Problem for Promise Designers)

On 26 April 2013 17:58, Mark Miller <erights@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.

Hi Mark,

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
here. :)

So what Tab said, in reply to your challenge and elsewhere.

/Andreas