软件正确性与供应链安全：与Sean Allen的对话

The Pragmatic Engineer采访了Antithesis的杰出工程师、Pony语言核心贡献者Sean Allen，讨论软件正确性与供应链安全。Allen认为，ML语言家族的强类型系统在编译期捕获的错误比ALGOL家族语言更多，而手动测试是确保正确性最差的方式。他还表示，供应链攻击没有单一的简单修复方案，因为像'E'这样防御稳健的语言并不流行，而流行语言则假设生态系统可信。