Earlier quoted context omitted.
> Ada solved this in the 80s, it isn't some unresolved field of comp sci Every solution comes at a cost. Where is Ada now? > Unit Tests are no different, except with worse syntax than built in language support. And I'm not advocating for unit tests, nor do I treat them as replacement for types. The fact that they occasionally overlap doesn't mean they serve same purposes. > At least with support in the type system yo…
> And I'm not advocating for unit tests, nor do I treat them as replacement for types. The fact that they occasionally overlap doesn't mean they serve same purposes. So you don't advocate for unit tests, you don't want a powerful type system, what do you want? > Every solution comes at a cost. Where is Ada now? A source of features for newer languages, thus is the circle of programming language life. > Sounds like dy…
"Write tests. Not too many. Mostly integration."
Leave static typing for performance-critical sections.
> They are a performance/safety trade off.
So is dynamic typing. Only performance in this case means developer performance. Turns out most of our software is not landing airplanes, and developer performance is way more important than occasional non-critical bug that affects 5 users and gets fixed within a day.