看到 AI 生成的代碼開始推動基礎設施平台朝向更好的計算機科學實踐，真是太棒了：清晰的語義、強類型、簡化的狀態管理等等。