约束为什么能带来自由2026年08月28日从类型系统、RAII、产品边界到 AI Agent,好的约束把重复判断提前变成可检查的规则,让行动更可靠,也让注意力回到真正重要的选择。#engineering#type-systems#llm#software-design