Eiffel是一套面向对象编程语言,1985年由伯特兰·迈耶所发明。文法类似Pascal ,并且将语言本身与软件工程、和工具结合为一。Eiffel实现契约式设计(Design by Contract)的风格。
一个Eiffel "system"或"program"是指一个的集合。Eiffel系统有一个Cluster的概念。通过一个叫做ACE的外部组件描述类之间的组合关系的,Cluster可以是几个类,或者几个子Cluster,或者是它们的混合。但是Cluster不是Eiffel语言的一个概念,Eiffel语言中,CLASS是惟一的模块。
一支编程语言都会有"Hello, world!"的程式码.以Eiffel的表示如下:
class HELLO_WORLDcreate makefeature make do print("Hello, world!%N") endend