Eiffel

Eiffel是一套物件導向程式語言，1985年由伯特蘭·邁耶所發明。文法類似Pascal ，並且將語言本身與軟體工程、和工具結合為一。Eiffel实现契约式设计（Design by Contract）的風格。

一個Eiffel“系统”或“程序”是指一個“类”的集合。Eiffel系统有一个Cluster的概念。通过一个叫做ACE的外部组件描述类之间的组合关系的，Cluster可以是几个类，或者几个子Cluster，或者是它们的混合。但是Cluster不是Eiffel的语言构造（英语：Language construct），Eiffel语言中，类是惟一的构造模块。

一支程式語言都會有"Hello, world!"的程式碼。以Eiffel的表示如下：

class
    HELLO_WORLD
create
    make
feature
    make
        do
            print("Hello, world!%N")
        end
end

這支程式有类HELLO_WORLD。其建構例程的名稱是make，它會呼叫print系統函式库例程將"Hello, world!"的訊息給輸出。 Eiffel中不像C系列（C、C++、Java、C#）的语言，通过约定某个叫做main的函数来启动应用，而是通过ACE来指定一个类作为整个应用的启动。这个类的构造函数也就成为应用的起始点。

• Basic Eiffel Language Mechanisms（页面存档备份，存于互联网档案馆）, Bertrand Meyer（页面存档备份，存于互联网档案馆）, August 2006.
• Eiffel Software's Open Source initiative（页面存档备份，存于互联网档案馆）
• Eiffel Software（页面存档备份，存于互联网档案馆） web site of the company that introduced Eiffel, was Interactive Software Engineering (ISE).
• Eiffel tutorial (100 pages) by Bertrand Meyer（HTML（页面存档备份，存于互联网档案馆）, PDF（页面存档备份，存于互联网档案馆））
• Eiffel standard（页面存档备份，存于互联网档案馆）, revision 2 (2006); this is the ECMA standard, with free access, its text identical to that of the ISO standard.
• SmartEiffel（页面存档备份，存于互联网档案馆） (formerly SmallEiffel) a complete Eiffel compiler released under GNU GPL license, translates Eiffel code either to C or Java bytecode, not standard compliant, with emphasis on performance.
• "The Eiffel Compiler" (tecomp)（页面存档备份，存于互联网档案馆） an open source Eiffel compiler with documentation（页面存档备份，存于互联网档案馆）.
• Visual Eiffel an open source implementation of Eiffel creating native code for X86 systems（Windows, Linux）
• NICE（页面存档备份，存于互联网档案馆） Nonprofit International Consortium for Eiffel.
• eiffelroom.com（页面存档备份，存于互联网档案馆） Community around standard Eiffel.
• eiffelzone.com Includes a comprehensive Eiffel Software Directory
• Cetus Eiffel Page
• Eiffel for .NET
• Eiffel: the Language（页面存档备份，存于互联网档案馆） subset