面向对象的编程语言，由Bertrand Meyer设计，以支持契约式设计为核心理念。
Bertrand Meyer在开发Eiffel语言时提出了「契约式设计」（Design by Contract）的概念