编程语言 = 类型系统 + 运行时
类型系统 = 描述能力 + 对象模型 + 类型修饰符 + 结合能力
运行时 = 动态派发 + 内存管理
cpu 描述 : 线程 、 算法 、异常处理逻辑
内存描述:对象模型 + 内存管理
io 描述:异步 + 中断
类型、变量、值的关系