Eiffel (programming language)

Eiffel是一种由伯特兰·迈耶（对象导向倡导者，著有《面向对象软件构造》）及Eiffel Software共同设计的面向对象编程语言。迈耶于1985年构思该语言，旨在提升商业软件开发的可靠性；首个版本于1986年发布。2005年，Eiffel成为ISO标准化语言。

该语言的设计与Eiffel编程方法紧密相连。二者均基于一系列原则，包括契约式设计、命令-查询分离、统一访问原则、单一选择原则、开闭原则以及选项-操作数分离。

许多最初由Eiffel引入的概念后来被Java、C#及其他语言采纳。通过Ecma/ISO标准化过程，新的语言设计理念持续被融入Eiffel语言中。

Eiffel强调声明式语句而非过程式代码，并力求消除对簿记性指令的需求。

Eiffel摒弃为编译器提供优化提示而使用的编码技巧或技术。其目标不仅是提高代码可读性，还使程序员能专注于程序的关键方面，而不必陷入实现细节。Eiffel的简洁性旨在促进简单、可扩展、可重用且可靠的计算问题解决方案。使用Eiffel编写的计算机程序的编译器提供了诸如自动内联等广泛的优化技术，从而减轻了程序员的部分优化负担。