所有编程语言都提供抽象机制。可以认为，你所能够解决的问题的复杂性直接取决于抽象的类型和质量。我所谓的“类型”是指“你所抽象的是什么？”汇编语言是对底层机器的小型抽象。接着出现的许多所谓“命令式”语言都是对汇编语言的抽象。这些语言在汇编语言之上有了大幅的改进，但是他们所做的主要抽象人要求你在解决问题时要给予计算机的结构，而不是给予你试图要解决的问题的结构来考量。程序员必须家里再机器模型和实际待解决问题模型的问题空间之内的关联。尽力这种映射是费力的，而其他不属于汇编语言的内在性质，这使得程序难以编写，并且维护代价高昂。由此，产生了完整的“编程方法”产业。
另一种对机器建模的方式就是对待解决问题建模。早期的编成语言，诸如LISP 和APL都选择世界的某种特定视图。PROLOG则将所有问题装换成为决策链。此外，还成生了基于约束条件的编程语言和专门通过对团形符号操作来实现编程的语言。这些方式对于他们被设计师所瞄准要解决的特定类型的问题都是不错的解决方案，但是一旦超出其特定领域，他们就力不从心了。
面向对象方式通过向程序员提供用来表示在问题空间中的元素的工具而更进一步。这种表示方式具有足够的概括性，使得程序员不会受限于任何特定类型的问题。我们将问题空间中的元素及其在空间中的表示称为“对象”。这种思想的实质是：程序可以通过添加新类型的对象使自身适用于某个特定问题。因此，当你在鱼肚描述解决方案的代码的同时，也是在阅读问题的表述。相依以前我们所拥有的所有语言，这是一种更靓货和更强有力的语言抽象。
 Alan Kay 曾经总结了第一个成功的面向对象语言，同时也是JAVA赖为根基的语言之一的Smalltalk 的五个基本特征，这些特性表现了一种纯粹的面相对性程序设计方式：
1 万物皆为对象。将对象视为奇特的变量，它可以存储数据，除此之外，你还可以要求他在自身上执行操作。理论上讲，你可以抽取待解决问题的任何概念化构件，惊奇表示为程序中的对象。
2程序是对象的集合，他们彼此通过发送消息来调用对方。要想产生一个对对象的请求，就必须对该对象发送一条消息，更具体的说，你可以把消息想象为对某个特定对象的方法的调用请求。
3 每个对象都拥有其它对象所构成的存储。你可以通过创建现有对象集合的包的方式来创建新型的对象。因此，你可以在程序中构件复杂的体系，同时将其罚杂项通过对象的质朴性得以屏蔽。
4每个对象都拥有其类型。按照通用的说法，“每个对象都是某个类中的一个实例”。其中“类”就是“类型”的同义词。每个类中最重要的区别在于其它类的特性就是“你可以发送什么消息给它”。