On 11/10/14 7:21 AM, Robert Sanderson wrote:
> Yes, precisely. The constraints are a distraction that came in from
> the discussion over whether it was a good idea to *require*
> inferencing or not.
But you must address the converse: whether you can forbid or ignore the
inferencing inherent in types. In other words, if you aren't supporting
inferencing, why are you using types?
[log in to unmask] http://kcoyle.net