H1：编程语言创新与 Kiro 的规格驱动开发

• H2：20 世纪 50 - 60 年代编程语言创新

  • 程序员从汇编和机器码编程转向高级、可移植语言
  • 先驱者预见软件是技术核心，提高软件开发速度和成本能加速计算和经济发展
  • 这些语言提高程序员生产力，解耦程序行为与底层硬件

• H2：60 年编程范式基本未变

  • 多数主流编程语言描述如何做事而非做何事
  • 生成式和智能体 AI 有望带来新变革

• H2：Kiro 的规格驱动开发

  • 规格是程序应做何事及需满足需求的描述
  • Kiro 可实现规格驱动开发，可逐提示或逐行开发
  • 用规格可更易理解程序目的、做结构更改及沟通整体目标
  • 以规格开发有三好处：便于理解和达成目标、为 AI 提供指导、驯服大型代码库的混乱

• H2：简单游戏示例

  • 以经典汉诺塔游戏为例，通过 Kiro 开发
  • 可修改用户故事等，实现开发者与 AI 深度协作
  • 可添加需求到要求文件并控制变更，从氛围编码到可重复跟踪的软件开发

• H2：亚马逊的规格实践

  • 长期以多种形式写规格，如工作回溯、设计文档等
  • 也使用更正式规格证明系统属性和自动化测试

• H3：结论

  • 早期编程语言提高抽象层次但受限
  • Kiro 的规格方法迈向更注重结果的编程未来
  • 是驯服氛围编码混乱且保留 AI 辅助编码优势的重要一步