3 ms·
Just to be clearer, I meant security as in confidence in the code running correctly, rather than defended against vulnerabilities.
by dannyobrien 3y ago
Just to be clearer, I meant security as in confidence in the code running correctly, rather than defended against vulnerabilities.
- medo-bear 3y agoBut 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.
- medo-bear 3y agoThis is from update to SBCL yesterday: enhancement: functions with declared return types have their return values type-checked in optimization regimes with high SAFETY and (DEBUG 3). http://sbcl.org/news.html http://sbcl.org/news.html