让人读懂
先看意图和视图,再看代码细节。
每项职责都声明意图。地图由代码生成,展示每个决定所在的位置。
实现方式可以改变。目标、边界和证据始终可见。
一个订单只扣款一次。
输入、结果与保证。
仅使用被授予的资源。
履行约定的代码。
以改变对人、系统和保证产生的影响来呈现修改。
目标仍是只扣款一次。
新增连接需要你的决定。
每项保证都说明如何检查。
先看意图和视图,再看代码细节。
明确角色,让看似合理的错误显现出来。
已证明、已测试或未检查:每个词都有确定含义。
把增量检查与原生性能作为可测量的目标。
范式已定义。1.0 版与 Rust 编译器正分阶段推进;功能将随证据一起公布。