thoughts on the record update problem

[Chris Smith]

On Thu, Mar 8, 2012 at 2:09 PM, Greg Weber <greg at gregweber.info> wrote:
> The semantics that will be exposed to users have already been largely
> decide upon.

Admittedly I haven't had time to carefully read some parts of this
thread, and if that claim is true, then of course implementation
should be the major concern.  But it seems unlikely that claim is
true, since in the very same email you express what looks like a
pretty serious concern about the semantics that will be exposed to
users (namely, the need for a new kind of type annotation).

-- 
Chris Smith