On 8/26/2012 8:49 PM, Chris Cain wrote:
If I may, here's my suggestion on how everything could work (and I think should be doable) ... basically, it would be part of the type, but functions with the same parameters regardless of defaults would be implicitly convertible to one another:
What happens with the name mangling? What about overloading? template type deduction? type specialization? type equivalence? type covariance?
