On 24.04.2017 19:02, Nick Sabalausky (Abscissa) wrote:
On 04/24/2017 11:17 AM, Timon Gehr wrote:Also, Java's type system is unsound.Not doubting you, but this sounds interesting. Further info or links?
https://dev.to/rosstate/java-is-unsound-the-industry-perspective