3 ms·
If you don't test the behavior of your code then it is wrong. Whether the code could in theory be compiled isn't a very good test case. Static type checking ha
by ReflectedImage 3y ago
If you don't test the behavior of your code then it is wrong. Whether the code could in theory be compiled isn't a very good test case.
Static type checking has a measured bug catch rate of <1%. So the quality of any code where the programmer depends on static typing to verify correctness rather than unit tests is very very low.
- pjmlp 3y agoMeasured by whom?
- ReflectedImage 3y agoVarious academic studies on the topic
- pjmlp 3y agoSuch as? Looking forward to a set of paper from renowned researchers with SIGPLAN/ACM, IEEE proven credentials in language research.