抽象使我们可以定义出一些能用于不同领域的抽象过程.规范性和函数的类型在这里起着最重要的作用:fast和slow能走同一条轨道的基础就是规范性.开发一批专有术语(例如,轨道的类型和规模),是最基础最重要的工作.一些附属类型,例如距离类型,也需要精确地定义.
