8 Mar
2012
8 Mar
'12
4:14 p.m.
On Thu, Mar 8, 2012 at 2:09 PM, Greg Weber
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