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

4.1 Smalltalk语言 4.2 Smalltalk的对象、类、方法的实现 4.3 面向对象 • 为什么需要面向对象？ • OO 语言的发展 • 面向对象的基本概念 • 封装和继承 • 初始化和终结处理 • 动态方法约束 4.4 Ada的面向对象机制

2.1 常量、变量及C的数据类型 2.2 运算符和表达式 2.3 关系运算和逻辑运算 2.4 选择结构、循环结构与C语句 2.5 基本输入输出函数 2.6 Turbo C 2.0 的使用和上机步骤

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

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

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

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

一、程序设计语言 二、程序设计风格 三、面向对象测试

1. 算法的概念 2. 简单算法举例 3. 算法的特性 4. 算法的表示 5. 结构化程序设计方法

一、程序设计语言 二、程序设计途径