Function types versus arrays

[Joshua Bloch]

Neal,

On Wed, Feb 17, 2010 at 4:54 PM, Neal Gafter <neal at gafter.com> wrote:

> On Wed, Feb 17, 2010 at 4:47 PM, Joshua Bloch <jjb at google.com> wrote:
> >> This is all true, but the facts of the universe we live in have
> >> conspired against us.  We should if we can, but we can't.
> >
> > Can't is a strong word.  All we can say is that it would involve VM
> change.
> >  It may be worth that.
>
> It would involve reifying generics uniformly (i.e. everywhere), which
> is not backward compatible.  It may be worth that to you, but I think
> it would be a disaster.


Can you provide a concise proof that it would require reifying generics?  It
isn't obvious (to me).

        Josh