• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

控制结构:程序员用来规定程序各个成分 的执行流程的控制部分。 语句级控制结构:语言用来构造各种语句 执行顺序的机制。 传统语言的三种语句级控制结构:顺序、 选择、重复

一、任何程序,不管以何种语言写成,均可以视为刻划了一个操作集合。并将以一定顺序作用到一定数据上。 二、语言的基本不同在于:允许的数据类型、允许的操作类型、以及控制操作顺序的机制。 三、下面章节将围绕这些方面展开

⚫ 程序的几个要素 ⚫ 算法的概念 ⚫ 简单算法举例 ⚫ 算法的特性 ⚫ 算法的表示 ⚫ 结构化程序设计方法 ⚫ 算法的实现

进行程序设计，需要具备两方面知识：⑴掌握一门计算机语言；⑵掌握解题的方法和步骤。 1 算法的概念及特征 2 算法的表示

为了加强程序的鲁棒性（强壮性，robust），程序设计时，必须考虑到可能发生的异常事件并做出相应的处理

第二章算法 algorithm 2.1算法的概念 2.2简单算法举例 2.3算法的特性 2.4算法的表示 2.5结构化程序设计方法

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

第七章编码 7.1程序设计语言 7.2程序设计风格 7.3编码工具

12.1 程序设计语言 12.2 程序设计风格 12.3 测试策略 12.4 设计测试用例