冒号课堂§10.2：抽象类型
抽象类型——实中之虚（介绍抽象类型的种类、意义及其用法）
? 浅显的比方只是门槛前的台阶，借之或可拾级入门，却无法登堂入室
? 具体类型是创建对象的模板，抽象类型是创建类型的模块
? 抽象数据类型的核心是数据抽象，而抽象类型的核心是多态抽象
? 必先以术养道，而后以道御术
? 以社会身份而非个人身份作为公民之间联系的纽带，正是针对接口而非实现来编程的社会现实版
? 个体身份对应的规范抽象借助封装，以数据抽象的形式出现
? 家庭身份对应的规范抽象借助继承，以类型层级的形式出现
? 社会身份对应的规范抽象借助多态，以多态抽象的形式出现
