Re:Pattern Matching for Java
by brogrammer_1 on Thursday April 20, 2017 @05:04AM
(#14155075)
Type erasure for generics...
[ Parent
| on HN ]
Wrong. Type erasure for generics is one of Java's luckiest breaks. At worst, it imposes a tiny inconvenience, but in exchange this is what allowed Java not to bake a variance model into the VM and libraries, and this is precisely what allows languages with different variance models -- like Java, Kotlin and Clojure -- to both share code and actual data objects with no runtime conversions. This is something that can't happen on .NET (see, e.g. how clumsily their Python implementation interacts with generics). This was a huge win for almost no cost.
Re:Pattern Matching for Java
by ddispaltro on Thursday April 20, 2017 @08:33AM
(#14156048)
I completely agree, what a blessing in disguise. Scala wouldn't be possible without it.