undefined | Better HN

0 pointsxmcqdpt21mo ago0 comments

Java also has covariant mutable arrays. I can't believe they created the whole language and didnt realize that covariant arrays are unsound? Or didn't care?

0 comments

kccqzy1mo ago

They didn’t care about preventing all unsoundness at type check time. As long as JVM can detect it and throw an exception, it’s good enough for Java.

j / k navigate · click thread line to collapse

0 pointsxmcqdpt21mo ago0 comments

Java also has covariant mutable arrays. I can't believe they created the whole language and didnt realize that covariant arrays are unsound? Or didn't care?

0 comments

kccqzy1mo ago

They didn’t care about preventing all unsoundness at type check time. As long as JVM can detect it and throw an exception, it’s good enough for Java.

j / k navigate · click thread line to collapse