Lambda Conversion Considered Harmful?

[Joshua Bloch]

Neal,

On Fri, Feb 19, 2010 at 6:15 PM, Neal Gafter <neal at gafter.com> wrote:

> On Fri, Feb 19, 2010 at 4:13 PM, Joshua Bloch <jjb at google.com> wrote:
> > I'd argue that the bug is that byte is defined to be a subtype of int.
>  This
> > wasn't true in earlier editions of the JLS, as I recall;)
>
> Earlier editions didn't define "subtype".
>

They may not have defined the term, but they did use it, for example:

Assignment to an array component of reference type (§10.10, §15.13,

§15.26.1). The type-checking rules allow the array type S[] to be treated as
> a

subtype of T[] if S is a subtype of T, but this requires a run-time check
> for

assignment to an array component, similar to the check performed for a cast.


from page 320 of the Second Ed.

          Josh