Function types versus arrays

[Howard Lovatt]

Well you *speculate* that reified lambdas are type unsound, you haven't and
nor has anyone else demonstrated that - in fact quite the opposite.

I have asked for examples of problem areas and your response has been that
you want to see a formal proof. However, I would say "what area isn't
already proven?" The technique translates into current Java, it doesn't use
raw types, and it doesn't do type inference. To the extent that current Java
is type sound; the reified lambdas are type sound, i.e. no change to the
type safety.

I could prove that contravariant overriding is type sound; but so what,
I assume that everyone accepts that. Perhaps you could be specific about
which area you think there is a problem?

On 9 February 2010 05:29, Neal Gafter <neal at gafter.com> wrote:

> On Mon, Feb 8, 2010 at 7:44 PM, Howard Lovatt <howard.lovatt at iee.org>
> wrote:
> > There is:
> > http://www.artima.com/weblogs/viewpost.jsp?thread=278567
> > That does indeed allow:
> > #T()[] tls = (#T()[]) new Object[1]; // unchecked warning
>
> Perhaps I should have been more specific: there is no *sound* proposal
> for how to do it.
>
> ______________________________________________________________________
> This email has been scanned by the MessageLabs Email Security System.
> For more information please visit http://www.messagelabs.com/email
> ______________________________________________________________________
>



-- 
 -- Howard.