4 ms·

I was specifically referring to statically typed OOP. You're right, I haven't tried OCaml or Haskell so I can't make a qualitative judgement on how easy/hard t

I was specifically referring to statically typed OOP. You're right, I haven't tried OCaml or Haskell so I can't make a qualitative judgement on how easy/hard type coercion is in either.

pka 11y ago
The need for type coercion is a very good indicator of a bad design. Haskell just forces you to deal with it right now instead of never.