8 ms·
what languages, if any, do you think get static typing right?
by joshAg 14y ago
what languages, if any, do you think get static typing right?
- rpearl 14y agoHaskell and SML both have sufficiently expressive type systems that I do not ever find myself writing correct code that fails to typecheck. If the code fails to typecheck, I have done something wrong. (If the code does typecheck, then I have guaranteed a lot of static properties of my code, but it may still be incorrect in terms of dynamic semantics.)