News for hackers. Stuff that matters.

A comment on Go 2 Draft Designs. Parent comment

Re:Go 2 Draft Designs by chowells on Tuesday August 28, 2018 @06:30PM (#17863522)
Java does not have parametric polymorphism because instanceof exists in the language. That reduces what you can say about something from the type alone to "maybe parametric, maybe bounded by runtime checks that aren't visible in the type."

How many languages provide you a way to guarantee at the type level that the behavior of a function cannot be influenced by instantiation of type variables? I don't believe that to be true of anything that runs in the JVM or in .NET, for instance, as runtime type information is always available. C++ has dynamic_cast. What common language actually has parametricity expressed in the type system?

[ Parent | on HN ]
Re:Go 2 Draft Designs by whateveracct on Tuesday August 28, 2018 @08:01PM (#17864009)
That’s true..but Haskell has bottom and Scala has bottom + instanceOf checks and JVM reflection as well. And they clearly have usable parametric polymorphism despite things being “broken.”

Saying Java doesn’t have parametric polymorphism because you can cheat is like saying Haskell isn’t pure because of unsafePerformIO.

[ Parent | on HN ]
Re:Go 2 Draft Designs by pwm on Wednesday August 29, 2018 @06:08AM (#17867059)
Agreed. There is always a point where it's the developer's responsibility to write good code, even in languages where it's very difficult to shoot yourself in the foot.
[ Parent | on HN ]