Eiffel
Eiffel语言是继Smalltalk-80之后的另一个“纯”OOPL。这种语言是由OOP领域中著名的专家Bertrand Meyer等人20世纪80年代后期在ISE公司(Interactive Software Engineering Inc.)开发的，它的主要特点是全面的静态类型化、有大量的开发工具、支持多继承。
Eiffel的历史：
Eiffel是由Eiffiel公司（现在被称为ISE—Interactive Software Engineering）在1985年设计的。最初ISE在项目开发中，需要一种能体现现代软件工程学思想、现代的、面向对象的开发环境，但ISE认为当时没有这样的工具。因此，ISE开发了Eiffel作为开发产品的内部工具。Eiffel的名字来自工程师Gastave Eiffel，他为1889年世界博览会设计了著名的艾菲尔铁塔，并在计划的工期和预算内完成了这个工程。ISE希望用Eiffel所构建的软件工程项目也能达到这样的目标。
1986年10月，Eiffel 1在OOPSLA（Object-Oriented Programming Systems Language and Applications）大会上一举成名，由此踏上了商业化之路。随后几年中，Eiffel在美国、加拿大、欧洲和远东地区迅速传播，实施了一系列成功的工程项目。同时，学术界也认为Eiffel是教授各种软件概念的理想途径，世界上很多大学都已经采用Eiffel作为主要的教学语言。
1988年，Bertrand Meryer出版了《Object-Oriented Software Construction》，书中介绍了对象技术的概念和Design By Contract?，并用Eiffel作为描述语言进行了讲解。这本经典著作被称为“面向对象软件开发圣经”，极大地促进了人们对Eiffel的认可。