冒号空间

抽象类型——实中之虚（介绍抽象类型的种类、意义及其用法）

• 浅显的比方只是门槛前的台阶，借之或可拾级入门，却无法登堂入室

• 具体类型是创建对象的模板，抽象类型是创建类型的模块

• 抽象数据类型的核心是数据抽象，而抽象类型的核心是多态抽象

• 必先以术养道，而后以道御术

• 以社会身份而非个人身份作为公民之间联系的纽带，正是针对接口而非实现来编程的社会现实版

• 个体身份对应的规范抽象借助封装，以数据抽象的形式出现

• 家庭身份对应的规范抽象借助继承，以类型层级的形式出现

• 社会身份对应的规范抽象借助多态，以多态抽象的形式出现