3 ms·

> we don’t have a reliability-oriented high-level programming language with a good quality of implementation (modern ML, if you will) Java is fairly popular, I

by pron 4y ago

> we don’t have a reliability-oriented high-level programming language with a good quality of implementation (modern ML, if you will) Java is fairly popular, I hear.

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 ago
  It already has sum types. Pattern matching on them is not yet finalized, but the ADTs itself is.
  - weatherlight 4y ago
    let us know when Java's type system is sound, and can be completely inferred.