lambda or reified lambda

Rémi Forax forax at univ-mlv.fr
Wed Nov 18 13:37:50 PST 2009


Hi Neal,
I've just read your new proposal for lambda in Java (v0.6a).

A small remarks, I think that defined @Shared as an annotation
is not necessary. 'shared' as a local keyword should be better.

Your proposal doesn't say that function types are not reified:
    #int(String) fun = #(String text) text.length();
    #int(Object) fun2 = fun; // ok, subtyping

    #int(String) fun3 = (#int(String))fun2; // unsafe warning.

What is the reason to not use method handle to implement lambdas ?
You will get reification for free.

regards,
Rémi





More information about the closures-dev mailing list