Can we also get some feedback on specialization, please?

Ivan St. Ivanov ivan.st.ivanov at gmail.com
Wed Jan 7 21:25:08 UTC 2015


Hi folks,

I was really expecting writing some client class (in Sublime) that uses the
new functionality, i.e. List<int> or MyClass<any T> and compiling that
against an image which is first cloned from the repo that Richard shared
with us, then configured and built. I am going to try that myself first.
And this is what I thought Brian had in mind with:

So my question is: has anyone tried to write a program with specialized
generics with the valhalla implementation?   Well, we'd really appreciate
it.

And I see that Sven has already tried that and discussed some [usage]
issues already in another thread. We will not hate, neither flame. We just
want to help. The same way that LJC do. :)

So, again to my question, is there any source, where I can teach myself
about those fictions, specializations, etc. :)

Cheers,
Ivan


On Wed, Jan 7, 2015 at 11:13 PM, Sven Reimers <sven.reimers at gmail.com>
wrote:

> That sounds good... now I am really feeling at home...
>
> ;-)
>
> -Sven
>
> On Wed, Jan 7, 2015 at 10:08 PM, Brian Goetz <brian.goetz at oracle.com>
> wrote:
>
> > It's way more raw than that!  More like, are ready to work around "oh, it
> > seems they have not yet implemented XXX, I'll try something else".
> >
> >
> > On 1/7/2015 4:07 PM, Sven Reimers wrote:
> >
> >> .. and are ready to use the compiler on the command line I assume...
> >>
> >> ;-)
> >>
> >> Sven
> >>
> >> On Wed, Jan 7, 2015 at 10:04 PM, Martijn Verburg <
> >> martijnverburg at gmail.com>
> >> wrote:
> >>
> >>  Hi Ivan,
> >>>
> >>> To be honest, it's probably a bit early for your group to jump in for
> >>> valhalla-dev related sessions. FWIW - In London we're really only going
> >>> to
> >>> involve the couple of people who are already on this list and
> understand
> >>> the fundamentals of the proposal.
> >>>
> >>> Cheers,
> >>> Martijn
> >>>
> >>> On 7 January 2015 at 20:21, Ivan St. Ivanov <ivan.st.ivanov at gmail.com>
> >>> wrote:
> >>>
> >>>  Hi folks,
> >>>>
> >>>> We, from the Bulgarian JUG are also planning to do a hackathon on
> this.
> >>>> Most probably it will be on January 29th (just before FOSDEM). We'll
> >>>>
> >>> update
> >>>
> >>>> the VMs we already have and will also, as usual, write some blogs.
> >>>>
> >>>> As I am taking care of presenting this to my fellows here in Bulgaria
> >>>> and
> >>>> as I am poorly prepared in the language and type theory, would you
> >>>> please
> >>>> tell me where can I read more what is a compiler fiction,
> specialization
> >>>>
> >>> vs
> >>>
> >>>> erasure vs reification and all the things that are discussed in the
> >>>>
> >>> various
> >>>
> >>>> thread an in the state of specialization paper? Sorry for the stupid
> >>>> question, but I really want to get my folks here (including myself) up
> >>>> to
> >>>> speed.
> >>>>
> >>>> Thanks,
> >>>> Ivan
> >>>>
> >>>> On Tue, Jan 6, 2015 at 11:35 AM, Martijn Verburg <
> >>>>
> >>> martijnverburg at gmail.com
> >>>
> >>>> wrote:
> >>>>>
> >>>>
> >>>>  Hi all,
> >>>>>
> >>>>> On 6 January 2015 at 00:19, Richard Warburton <
> >>>>> richard.warburton at gmail.com>
> >>>>> wrote:
> >>>>>
> >>>>>  Hi Brian,
> >>>>>>
> >>>>>> It should cover all the conversions outlined in the latest SotS.
> >>>>>>
> >>>>> There
> >>>
> >>>> are
> >>>>>
> >>>>>> a few known things that don't work quite right yet, things like:
> >>>>>>>
> >>>>>>>   - Nonstatic inner classes and local classes (we're close on this,
> >>>>>>>
> >>>>>> though)
> >>>>>>
> >>>>>>>   - super-calls inside generic methods
> >>>>>>>
> >>>>>>> But, it should be enough to write an ArrayList-like class that is
> >>>>>>>
> >>>>>> generic
> >>>>>
> >>>>>> in any-T.
> >>>>>>>
> >>>>>>>
> >>>>>> Thanks.
> >>>>>>
> >>>>>> To run it, just clone and build the valhalla repo (make images), and
> >>>>>>
> >>>>> use
> >>>
> >>>> that as your JDK.
> >>>>>>>
> >>>>>>>
> >>>>>> Unless I really need sleep (it is after midnight here) there are no
> >>>>>>
> >>>>> links
> >>>>>
> >>>>>> from the project home page (
> >>>>>>
> >>>>> http://openjdk.java.net/projects/valhalla/)
> >>>
> >>>> to
> >>>>>
> >>>>>> the source repositories (http://hg.openjdk.java.net/valhalla). I
> >>>>>>
> >>>>> imagine
> >>>>>
> >>>>>> this might cause confusion for casual users who don't know the
> mapping
> >>>>>> between project names and repo urls and it would be nice to add it.
> Or
> >>>>>>
> >>>>> even
> >>>>>
> >>>>>> link to http://hg.openjdk.java.net/valhalla/valhalla - since that's
> >>>>>>
> >>>>> what
> >>>>>
> >>>>>> they'll need to hg clone.
> >>>>>>
> >>>>>>
> >>>>> To this point I'd like to submit a 'patch' to the website page - is
> >>>>>
> >>>> there
> >>>
> >>>> a
> >>>>> source file for the web page somewhere that I can create a patch
> >>>>>
> >>>> against?
> >>>
> >>>>
> >>>>> Cheers,
> >>>>> Martijn
> >>>>>
> >>>>>
> >>>>>
> >>>>>> regards,
> >>>>>>
> >>>>>>    Richard Warburton
> >>>>>>
> >>>>>>    http://insightfullogic.com
> >>>>>>    @RichardWarburto <http://twitter.com/richardwarburto>
> >>>>>>
> >>>>>>
> >>>>>
> >>>>
> >>>>
> >>>
> >>
> >>
> >>
>
>
> --
> Sven Reimers
>
> * Senior Expert Software Architect
> * NetBeans Dream Team Member: http://dreamteam.netbeans.org
> * Community Leader  NetBeans: http://community.java.net/netbeans
>                               Desktop Java:
> http://community.java.net/javadesktop
> * JUG Leader JUG Bodensee: http://www.jug-bodensee.de
> * Duke's Choice Award Winner 2009
> * Blog: https://www.java.net//blog/sven
>
> * XING: https://www.xing.com/profile/Sven_Reimers8
> * LinkedIn: http://www.linkedin.com/in/svenreimers
>
> Join the NetBeans Groups:
> * XING: http://www.xing.com/group-20148.82db20
> * NUGM: http://haug-server.dyndns.org/display/NUGM/Home
> * LinkedIn: http://www.linkedin.com/groups?gid=1860468
>                    http://www.linkedin.com/groups?gid=107402
>                    http://www.linkedin.com/groups?gid=1684717
> * Oracle: https://mix.oracle.com/groups/18497
>


More information about the valhalla-dev mailing list