3 ms·

> 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 purp

> 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 dynamic typing with extra steps. Static assertions based on build flags have been around for a very long time, in all sorts of languages. They are a performance/safety trade off.

hbrn 4y ago
> So you don't advocate for unit tests, you don't want a powerful type system, what do you want? "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.