Under the Hood with Java 10 Enhanced Generics

Re:Under the Hood with Java 10 Enhanced Generics by caoilte on Monday December 29, 2014 @07:32PM (#8812656)

There are a lot of problems with reification. It's a real strait-jacket. It would kill the JVM as a platform for Clojure and Ruby and kill some of the advanced parts of Scala.

[ Parent | on HN ]

Re:Under the Hood with Java 10 Enhanced Generics by sanderjd on Monday December 29, 2014 @07:35PM (#8812680)

Interesting! Could you expand on that or direct me to some good links on the subject?

[ Parent | on HN ]

Re:Under the Hood with Java 10 Enhanced Generics by papauschek on Tuesday December 30, 2014 @08:17AM (#8814443)

I talked with Vlad Ureche (from the EPFL Scala Team) about this very topic a few months ago after Scala Days Berlin. He said that some Scala features would not be possible to implement on the CLR because of its restrictive generics implementation. So while JVMs generics type erasure is a pain, it seems to give more room for innovation on the language level.

Unfortunately I did not understand the specific reasons he gave, but it had to do something with reification.

[ Parent | on HN ]

Re:Under the Hood with Java 10 Enhanced Generics by eropple on Monday December 29, 2014 @08:56PM (#8812914)

I'd be interested in what parts of Scala that an intelligent implementation of reification would harm.

[ Parent | on HN ]