Project Lambda: Java Language Specification draft

[Neal Gafter]

On Fri, Jan 22, 2010 at 6:24 PM, Rémi Forax <forax at univ-mlv.fr> wrote:
>> Oh, really?  So the result type of a lambda expression can depend on
>> the type of "this" (if "this" appears within a return statement).  And
>> the type of "this" depends on the result type of the lambda
>> expression.  Your specification gives no hint how this infinite
>> regress is to be resolved.
>>
>
> Is there a cool Hindley-Milner like algorithm somewhere ?

I think not in the presence of subtyping.