3 ms·
It already has sum types. Pattern matching on them is not yet finalized, but the ADTs itself is.
by kaba0 4y ago
It already has sum types. Pattern matching on them is not yet finalized, but the ADTs itself is.
- weatherlight 4y agolet us know when Java's type system is sound, and can be completely inferred.