3 ms·
Well, the language has no implicit type conversions so there is no much point in having subtyping either. On the other hand, subtyping interacts very, very bad
by Joker_vD 3y ago
Well, the language has no implicit type conversions so there is no much point in having subtyping either.
On the other hand, subtyping interacts very, very badly with both type inference (it almost instantly becomes undecideable, in practice as well as in theory) and with typeclasses (again, decidability issues).