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

Pragmatic Engineer 与 Antithesis 杰出工程师、Pony 语言核心贡献者 Sean Allen 对谈软件正确性。Sean 认为应通过强类型系统在编译期禁止非法状态，而非依赖手工测试；他提出用可反复执行的“workloads”（如 The Bank Test）替代单元测试，并主张质量应从头构建而非依赖后期 CI/CD 关卡。