如何学习一门编程语言

程序 = 数据 + 计算（操作）

• 数据模型：表达值、组织值
• 计算模型：对数据进行变换
  • 组织计算：控制结构
  • 约束计算：类型系统、副作用系统

控制结构引出命令式（描述怎么做：一系列变更指令）、函数式（描述结果是什么）；不同的计算组织方式，形成不同的编程范式

• 类型系统：数据与操作的合法组合；用一套静态或动态规则，对值即其组合方式进行分类、约束；
• 副作用系统：计算对外界产生的影响

程序 = 编译期 + 运行时

编译期：利用静态信息，提前验证程序、生成代码并优化执行 运行时：表示值，管理系统资源，控制流管理，执行基础设施

性能、安全（类型、内存、并发）、表达力

...