top | item 47073061 (no title) xmcqdpt2 | 10 days ago 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? discuss order hn newest kccqzy|10 days 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.
kccqzy|10 days 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.
kccqzy|10 days ago