2 ms·
> The problem is no languages I'd be willing to use have a good type system that actually covers much. This is basically down to opinion, and I can't argue wit
by glennpratt 8y ago
> The problem is no languages I'd be willing to use have a good type system that actually covers much.
This is basically down to opinion, and I can't argue with it. I've collaborated on Ruby projects for about 10 years, I love the language, but my experience says a large code base, with test coverage, regularly breaks on things that most type systems wouldn't allow.
Dependencies often cause subtle breaks like this, even in big, common ones.
On top of that, this requires paranoia to avoid breaking callers. With a good type system, you can largely discard that paranoia.