复习笔记1

声明式规约没有 中间 描述, 只有 初一 终一规约的 图形 一点 代表 方法 的 实现更强 的 规 的本区域 代表 满足 规 的 全部方法业更 少 的 方法实现