我認為現在是一個非常有趣的時期，因為編程語言和形式方法正在發生變化，LLMs 完全改變了軟體的整體約束環境。這一點的跡象已經可以看到，例如，將 C 移植到 Rust 的勢頭上升，或對升級 COBOL 等舊代碼庫的興趣日益增長。特別是，與全新生成相比，LLMs 在翻譯方面*特別*出色，因為 1) 原始代碼庫充當了一種高度詳細的提示，2) 作為撰寫具體測試的參考。話雖如此，即使是 Rust 作為目標語言也遠未達到 LLMs 的最佳狀態。什麼樣的語言是最佳的？對人類來說，還有什麼讓步（如果有的話）？這些都是令人難以置信的新問題和機會。感覺我們最終會重寫所有曾經編寫過的軟體的大部分多次。