1.1基本概念 1.1.1模型语言 对程序设计语言进行数学分析 从设计模型语言开始 一突出感兴趣的程序构造，忽略无关的细节 语言的形式化分为两部分 能抓住语言本质机制的非常小的核心：入演算 一导出部分：它们可以翻译成核心的演算 用类型化入演算的框架来研究程序设计语言的 各种概念1.1 基 本 概 念 1.1.1 模型语言 • 对程序设计语言进行数学分析 – 从设计模型语言开始 – 突出感兴趣的程序构造，忽略无关的细节 • 语言的形式化分为两部分 – 能抓住语言本质机制的非常小的核心：演算 – 导出部分：它们可以翻译成核心的演算 • 用类型化演算的框架来研究程序设计语言的 各种概念