Overload resolution simplification

Remi Forax forax at univ-mlv.fr
Tue Aug 13 14:03:14 PDT 2013

On 08/11/2013 11:23 AM, maurizio cimadamore wrote:
> On 10-Aug-13 10:52 PM, Remi Forax wrote:
>> You mean if you have overloads that are generics ? 
> No - in general; as soon as you start type-checking a lambda once per 
> overload I think it's unavoidable to end up in a combinatorial 
> scenario for lambda such as this:
> m(x->g(y->f(...)))
> where m, g, f are overloads.

oops, so it means that we can't disambiguate lambdas by doing a 
So apart the number of parameters of the lambda, we have no information :(

> Maurizio


More information about the lambda-spec-experts mailing list