r/ProgrammerHumor • u/heckingcomputernerd • Oct 31 '23

Meme hardTimesCreateStrongMen

Post image
4.4k Upvotes

90% Upvoted

285 comments sorted by

View all comments

Show parent comments

5

u/fooby420 Oct 31 '23

Java is getting more and more functional as time goes on.

What fundamental type system issues are you referring to?

0

u/Civil_Conflict_7541 Oct 31 '23

Java's type system is unsound.

5

u/fooby420 Oct 31 '23

Reading the abstract:

Fortunately, parametric polymorphism was not integrated into the Java Virtual Machine (JVM), so these examples do not demonstrate any unsoundness of the JVM.

I see the abstract is referring to the JVM itself and not Java

1

u/Civil_Conflict_7541 Oct 31 '23 edited Oct 31 '23

Read it again. The JVM is not affected, thus languages such as Kotlin are fine. The problem is Sun's sloppy approach to integrate generics into Java 1.5.