為什麼 vibe coding 該選 Rust

概要

• 慣例選語言的理由Daniel 說 Python、TypeScript、JavaScript 被視為 vibe coding 首選，因為常見、框架範例多、好上手、容易跑起來看結果，模型也很會輸出可執行的程式碼。
• 好寫不等於好Daniel 認為「模型寫起來容易」的重要性被高估，動態又有彈性的特性讓模型好寫，同時也讓錯誤更容易發生。
• LLM 一定會出錯LLM 本質上是非決定性的系統，錯誤不會完全消失；光靠測試和 code review agent 擋不住，因為測試可能寫在實作之後、也無法窮舉輸入，測試本身還可能是 LLM 寫的。
• Harari 的「異類智慧」觀點Daniel 讀了 Yuval Noah Harari 的《Nexus》，引用書中把 AI 稱作 alien intelligence 的說法，推論 LLM 的失誤模式可能完全出乎人類預期。
• Rust 編譯器是決定性的防線型別嚴格、沒有通用 null、編譯器檢查多執行緒共享資料，程式能編譯，就能相當放心許多種 bug 不在裡面，錯誤訊息還帶足夠脈絡讓 agent 自己修。
• 取捨Rust 較難一次寫對，但 agent 在迴圈裡能自己編譯、看錯誤、修正；Daniel 認為編譯時間再慢，也比讓 AI agent 審程式快。

原話

• “just like the smartest humans make mistakes and we need to guard against human error,”

  最聰明的人也會犯錯，所以我們得防人為錯誤，LLM 的錯誤也一樣要防。後半句緊接在下一行

  ▶ 05:10

• “because it's impractical to test every single possible input combination.”

  因為要測遍每一種輸入組合並不實際

  ▶ 06:14

• “he actually likes to call it alien intelligence instead,”

  Harari 其實更喜歡把 AI 稱作 alien intelligence

  ▶ 07:32

• “Rust is harder for LLMs to get right on the first try because there's so many rules they need to follow.”

  Rust 對 LLM 來說更難一次寫對，因為要遵守的規則太多

  ▶ 14:27

• “but I guarantee you that it's faster than letting an AI agent review your code”

  但我向你保證，這還是比讓 AI agent 審你的程式快

  ▶ 15:01

延伸

• Null 的處理：Rust 沒有通用的 null，要能為空就得明確定義成 option 型別，編譯器會強制你在取值前先檢查。
• Daniel 不是叫大家別用 AI 審程式，code review agent 還是該用，Rust 編譯器是多加的一層安全。