3 ms·
But software correctness is orthogonal to static typing. You most def should not have the confidence that your software is correct (ie solves the practical prob
by medo-bear 3y ago
But software correctness is orthogonal to static typing. You most def should not have the confidence that your software is correct (ie solves the practical problem you are trying to solve) just because it compiles.