2 ms·
If this were 100% true, everyone would want a language for formal verification (Idris, Coq, etc). Short of those lofty heights we can quibble over the varying s
by sobellian 3y ago
If this were 100% true, everyone would want a language for formal verification (Idris, Coq, etc). Short of those lofty heights we can quibble over the varying strictness of Haskell vs Java vs C and so on.
- edejong 3y agoA good programmer knows the limits of the type system. They lean on that knowledge to determine which tests to write.