程序设计语言，具有共同特征：均需要提供一些基本特征集，如下：
- 内置数据类型，如整型，字符型等（类型：点明含义及操作）；
- 表达式和语句：用于操纵上述类型的值；
- 变量：用于对象命名；
- 控制结构，如if，while用于有条件地重复执行一组动作；
- 函数：用于把行为抽象成可调用的计算单元。
扩充：大多数现代程序设计语言均采用两种方式扩充上述基本特征集：
（1）允许程序员通过自定义数据类型扩展该语言；
（2）提供一组库例程（这些例程定义了一些并非内置在语言中的实用函数和数据类型）。
关于对象的含义：
一般而言，对象就是内存中具有类型的区域。具体之，即计算左值表达式就会产生对象，所以可自由地使用对象描述程序中可操作的大部分数据，而不管这些数据是内置类型还是类类型，是有名or无名，是可读or可写。