The Java (and Scala) type system is unsound

We, Nada Amin and Ross Tate, broke the Java and Scala type systems!


Java – Encodings for Flattened Heap Values

A key goal in Project Valhalla is to flatten value objects into their heap containers, while simultaneously upholding all specified behaviors of those containers. A value’s flat representation must provide storage bits for each field of the value, allocat... (more…)

Read more »