News for hackers. Stuff that matters.

A comment on Java Generics Are Turing Complete. Parent comment

Re:Java Generics Are Turing Complete by rsmckinney on Thursday May 26, 2016 @03:11PM (#11780661)
Take a look at Gosu. It provides:

  - Reification
  - Declaration-site generics
  - Default covariance when variance not specified
  - Variance inference!
In practice default covariance is usually the most suitable; it's the pragmatic approach. But you can make a generic type super sound, if that's what you need. And with variance inference your generic type can safely inherit from generic Java types.

http://gosu-lang.github.io/2015/11/22/threading-the-needle.h...

[ Parent | on HN ]
Re:Java Generics Are Turing Complete by pekk on Thursday May 26, 2016 @04:14PM (#11781136)
Is there a reason to take a look at Gosu instead of Kotlin?
[ Parent | on HN ]
Re:Java Generics Are Turing Complete by rsmckinney on Thursday May 26, 2016 @04:23PM (#11781220)
You mean aside from it providing better and easier generics support? I personally like Kotlin, but I think Gosu has some advantages that should not be overlooked e.g,. Generics support.
[ Parent | on HN ]
Re:Java Generics Are Turing Complete by oweiler on Saturday May 28, 2016 @12:50PM (#11792313)
The problem with Gosu is that it never gained any significant traction.
[ Parent | on HN ]