渐进式的形式化

不必全有或全无。加类型、加断言、加属性测试，都是在往形式化方向走一步。