2 ms·
I'm a bit confused - they recently discovered Java is unsound? I thought this was well-known for quite some time because of broken co/contravariance? On recent
by acchow 10y ago
I'm a bit confused - they recently discovered Java is unsound? I thought this was well-known for quite some time because of broken co/contravariance?
On recent Java developments, Java's undecidable typechecking has now been proven:
http://dl.acm.org/citation.cfm?id=3009871 http://dl.acm.org/citation.cfm?id=3009871
- nrinaudo 10y agoI hate to be that guy, but in the fourth paragraph, the author mentions the variance issue as old news.