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