麻省理工18年春软件构造课程阅读11“抽象函数与表示不变量” 1

（更新：从第10章开始只翻译正确答案）译者：李秋豪审校：本次课程的标今天我们会介绍以下个思想：不变量（invariants）表暴露（representation