See you at JVMLS

Palo Marton palo.marton at gmail.com
Tue Aug 18 21:57:27 UTC 2015


One option is to not recreate them, but to compile such construct as
((Bar)f).barMethod(). May be that can work. But reflection will get even
more ugly :(
On ut, 18. aug 2015 at 23:53 Brian Goetz <brian.goetz at oracle.com> wrote:

> Yes, that has to work, though it doesn't currently.  On the list...
>
> On 8/18/2015 5:49 PM, Palo Marton wrote:
> > 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
> > <mailto: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>
> >      > <mailto: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
>
-- 
Pavol Marton


More information about the valhalla-dev mailing list