軟體正確性與供應鏈安全：與 Sean Allen 的對話

The Pragmatic Engineer 採訪 Antithesis 的傑出工程師、Pony 語言核心貢獻者 Sean Allen，討論軟體正確性與供應鏈安全。Allen 主張，ML 語言家族的強型別系統在編譯期能比 ALGOL 家族語言捕捉更多錯誤，而手動測試是確保正確性最差的方式。他也表示，供應鏈攻擊沒有單一的簡單解法，因為像 'E' 這樣有穩健防禦的語言並不流行，而流行的語言則假設生態系統值得信賴。