4 ms·
The argument for static types is that it makes type bugs impossible because the types are static. There is no emotional attachment other than rage when faced wi
by nercury 3y ago
The argument for static types is that it makes type bugs impossible because the types are static. There is no emotional attachment other than rage when faced with "but but it does not eliminate ALL the bugs!!!!!!".
- mpweiher 3y agoPlease read the article. The objection is not that all bugs aren’t eliminated. The objection is that there is no empirical reduction in bugs.
- nercury 3y agoYour article says "there is no empirical reduction in bugs" and nothing else.
- ReflectedImage 3y agoType bugs are so rare in regular code that it's significantly insignificant when measured during research studies. From a code correctness point of view, static typing is simply speaking useless. You should have spent the time statically typing your code on writing more tests.
- ReflectedImage 3y ago*statistically insignificant