Eiffel是一套物件导向程式语言，1985年由伯特兰·迈耶所发明。文法类似Pascal，并且将语言本身与软体工程、和工具结合为一。Eiffel实现契约式设计（Design by Contract）的风格。
语法与语义.
整体架构.一个Eiffel“系统”或“程序”是指一个“类”的集合。Eiffel系统有一个Cluster的概念。通过一个叫做ACE的外部组件描述类之间的组合关系的，Cluster可以是几个类，或者几个子Cluster，或者是它们的混合。但是Cl