3 ms·
Type systems make 93% of tests obsolete. The other 7% are implied by developing new features and making sure they work as you expect. If nothing broke, you're g
by 90s_dev 1y ago
Type systems make 93% of tests obsolete. The other 7% are implied by developing new features and making sure they work as you expect. If nothing broke, you're good to go. Incidentally, it scales with a team. The more people writing code, the more people who will run into some bugs one of you introduced. In my experience, automated tests (unit or e2e) never reduced that number, but only slowed us down. I wonder if TDD & BDD were just an excuse to bill clients for more time while giving them a false sense of security.
- theLiminator 1y agoIronically the strongest advocates of dynamic languages tend to be places where a strong type system would solve a huge percentage of their bugs. Web development is mostly the munging of data together and ensuring that you're glueing stuff together correctly. Static type systems, especially ML based ones would ensure that most of this is done correctly.
- AnimalMuppet 1y ago> Type systems make 93% of tests obsolete. I don't suppose I could trouble you for a source for that number?