Eiffel是一套物件導向程式語言，1985年由伯特蘭·邁耶所發明。文法類似Pascal ，並且將語言本身與軟體工程、和工具結合為一。Eiffel實現契約式設計（Design by Contract）的風格。
 | |
| 編程範型 | 物件導向, 基於類, 泛型, 並發 |
|---|---|
| 設計者 | Bertrand Meyer |
| 實作者 | Eiffel Software |
| 面市時間 | 1986年[1] |
| 當前版本 |
|
| 型態系統 | 靜態 |
| 實作語言 | Eiffel |
| 系統平台 | 跨平台 |
| 作業系統 | FreeBSD, Linux, Mac OS X, OpenBSD, Solaris, Windows |
| 許可證 | 雙許可和企業許可 |
| 文件擴展名 | .e |
| 網站 | www |
| 主要實作產品 | |
| EiffelStudio, LibertyEiffel, SmartEiffel, Visual Eiffel, Gobo Eiffel, "The Eiffel Compiler" tecomp | |
| 啟發語言 | |
| Ada, Simula, Z | |
| 影響語言 | |
| Ada 2012, Albatross, C#, D, Java, Racket, Ruby,[3] Sather, Scala | |
語法與語義
一個Eiffel「系統」或「程序」是指一個「類」的集合。Eiffel系統有一個Cluster的概念。通過一個叫做ACE的外部組件描述類之間的組合關係的，Cluster可以是幾個類，或者幾個子Cluster，或者是它們的混合。但是Cluster不是Eiffel的語言構造，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來指定一個類作為整個應用的啟動。這個類的構造函數也就成為應用的起始點。
引用
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
