See you at JVMLS
Palo Marton
palo.marton at gmail.com
Tue Aug 18 21:49:07 UTC 2015
Yes, that's a nice sidestep ;-)
My question was meant in a general way, not only about results of
instanceof/isAssignableFrom. What about methods of Bar? Will you recreate
them in Foo$any? What about eg call to
f.barMethod()?
On ut, 18. aug 2015 at 23:39 Brian Goetz <brian.goetz at oracle.com> wrote:
> I'll sidestep your clever question by pointing out that the left operand
> of an instanceof check is an expression, not a type.
>
> If you have:
>
> Foo<any> f = ...
>
> if (f instanceof Bar) { ... }
>
> this works just fine, because all instantiations of Foo<T> are
> represented by classes whose supertype is Bar. The harder question is
> the reflective one (Class.isAssignableFrom.) But reflection is still a
> work in progress (as is the whole thing, of course.)
>
> On 8/18/2015 5:30 PM, Palo Marton wrote:
> > Thanks. I have just watched your talk on Valhalla. Just one curious
> > question on xxx$any interfaces: How do you handle this?
> >
> > class Foo<any T> extends Bar { }
> >
> > Foo$any instanceof Bar?
> > On ut, 18. aug 2015 at 19:02 Brian Goetz <brian.goetz at oracle.com
> > <mailto:brian.goetz at oracle.com>> wrote:
> >
> > JVMLS talks up at:
> > https://www.youtube.com/user/java
> >
> >
> > On 8/8/2015 12:05 PM, Brian Goetz wrote:
> > > I'll be doing a talk on the path from Model 1 to Model 2 (and a
> > glimpse
> > > of Model 3) at JVMLS next week. Hope to see some of you there.
> > Videos
> > > should go up on the Java YouTube channel fairly quickly after the
> > > conference.
> > >
> > > In the meantime ... I'll just note that we've had 50+ messages on
> the
> > > various "Model 2" threads and none of them started with "I tried
> > it out
> > > and..."
> > >
> > > So a reminder ... the most valuable input the community can give
> > in this
> > > process is to provide *actual experience reports*. That's the
> main
> > > reason we make the significant investment in making the code and
> > design
> > > sketches available early -- so that people can actually try it
> > out, and
> > > help us see the holes that we might have missed.
> > >
> > >
> >
> > --
> > Pavol Marton
>
--
Pavol Marton
More information about the valhalla-dev
mailing list