3 ms·

The Java type system is broken (2018)

• exabrial 1y ago
  I loved his article series back in the day where you tried to break the JVM! Was so much fun.
• esafak 1y ago
  (2018)
  • coekie 1y ago
    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.
• Smaug123 1y ago
  I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ https://counterexamples.org/ .
• tpxl 1y ago
  Previous discussion: https://news.ycombinator.com/item?id=17565652 https://news.ycombinator.com/item?id=17565652
• deleted 1y ago
  [deleted]
• deleted 1y ago
  [deleted]