Re:Diminishing returns of static typing
by naasking on Monday October 02, 2017 @01:50PM
(#15386087)
> Unit tests is the only truth that matters, static typing or not.
Well that's provably false, because there exist properties that you can type check that literally can't be verified via unit tests, even in principle. For instance, race and deadlock freedom.
Well that's provably false, because there exist properties that you can type check that literally can't be verified via unit tests, even in principle. For instance, race and deadlock freedom.