第三，接下来，会为上面构建出来的系统构建护栏，开发者不必再逐行查看代码，而是通过某种方式验证它的正确性，或者通过约束确保它的安全性。而代码本身则会被抽象掉，真正的焦点转向问题本身，以及系统应具备的性质。