Matsakis把Agent软件开发拆成设计、构造和优化，认为Rust的类型约束与性能控制有价值，也希望编译器更容易接入证明工具。他同时指出，类型系统排除特定错误，并不自动确认程序实现了需求。公开讨论中的使用者则争论编译等待是否拖慢Agent迭代；这是不同项目的经验，尚非语言间的受控比较。
持续追踪
持续追踪
Matsakis把Agent软件开发拆成设计、构造和优化，认为Rust的类型约束与性能控制有价值，也希望编译器更容易接入证明工具。他同时指出，类型系统排除特定错误，并不自动确认程序实现了需求。公开讨论中的使用者则争论编译等待是否拖慢Agent迭代；这是不同项目的经验，尚非语言间的受控比较。