大编程思想

转自:

http://www.caopeng.org/html/bc.htm

 

1. 编程思想的序
到底为什么要编程  
编程的界域  
短暂历史  
语言设计的影响力  
编程语言的类别  
语言设计的平衡  
编程的环境  

2. 语言的规则和语意
句法描述的通规则  
句法描述的正式渠道  
属性语法  
动态描述  
语法的歧义性  
解析问题  

3. 命名/绑定/类型/域
命名  
变量  
绑定的概念  
类型检查  
严谨类型  
类型兼容性  
域  
索引环境  
命名的常量  

4. 数据类型
原始数据类型  
字符串类型  
用户自定义类型  
数组类型  
记录类型  
合类型  
指针和索引类型 
 
5. 表达和语句
算术表达  
过载运算  
类型转换  
关系和布尔表达式  
选择语句  
陈述语句  

6. 抽象数据类型
抽象的概念  
抽象数据类型的设计事项   
实例  
参数化的抽象数据类型
   
7. 面向对象的编程
面向对象的编程  
面向对象的设计事项  
JavaScript 的对象模式  
面向对象的架构应用 
 
8. 函数式程序设计
高等数学函数  
函数式编程的根本  
第一个函数式程序语言: LISP  
Scheme   
函数式程序语言的应用  
命令式语言/函数式语言 对比
 
9. 逻辑编程语言
概述  
Prolog 的起源  
Prolog 基本组成  
Prolog 的不足  
逻辑编程语言的应用