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