3 ms·
Calling Java a modern ML is a bit of a stretch :-). It's getting sum types, I hear, but it still has null, and it's not really the feeling of a nice expression
by c-cube 4y ago
Calling Java a modern ML is a bit of a stretch :-). It's getting sum types, I hear, but it still has null, and it's not really the feeling of a nice expression oriented Hindley-Milner language. If anything scala 3 might be a closer candidate.
- kaba0 4y agoIt 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.