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

Pragmatic Engineer 与 Antithesis 杰出工程师、Pony 语言核心贡献者 Sean Allen 对谈软件正确性与供应链安全。Sean 认为应在语言层面禁止非法状态表达，而非依赖手工测试，并主张用可反复执行的“workload”替代单元测试。他指出供应链攻击没有单一解法，流行语言默认生态可信，而防御更强的语言如 E 并不流行。