4 ms·
> Or did I just miss this rationale? Nope, you're spot on: better refactoring and increased correctness are the biggest motivators for type systems to exist..
by brabel 3y ago
> Or did I just miss this rationale?
Nope, you're spot on: better refactoring and increased correctness are the biggest motivators for type systems to exist... I don't even know what the author means by suggesting that a strong type system avoids code duplication (as someone who has used type systems for decades)!! Can someone illuminate?
- xedrac 3y agoMaybe the author is referring to generics - compile time generated code. But I'm with you. Code correctness is easily the biggest benefit for me, followed by fearless refactoring. The difference between refactoring a large Python project, and a Haskell project is staggering.
- consilient 3y agoGood type systems don't avoid code duplication in themselves, but they make it possible to write highly polymorphic code safely. More safely, in fact, than less polymorphic code.