The Java type system is broken (2018)(wouter.coekaerts.be)

29 pointsby b-man11 mesi fa5 comments

wouter.coekaerts.be

The Java type system is broken (2018)

https://wouter.coekaerts.be/2018/java-type-system-broken

7 comments

Smaug12311 mesi fa

I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ .

tpxl11 mesi fa

Previous discussion: https://news.ycombinator.com/item?id=17565652

exabrial11 mesi fa

I loved his article series back in the day where you tried to break the JVM! Was so much fun.

esafak11 mesi fa

(2018)

coekie11 mesi fa

Yes indeed. A nice surprise to stumble upon my old blog post again here.

I don't think much has changed since then, most of the problems are still there in newer Java versions. And that's fine, in practice they don't hurt. Still imo interesting curiosities of the type system.

[deleted]11 mesi fa