Eiffel（编程语言）

概述

Eiffel 是 Bertrand Meyer 于 1986 年前后设计的静态类型面向对象编程语言，以工程严谨性为核心目标，代表性著作为 Meyer 的《Object-Oriented Software Construction》。

契约式设计

Eiffel 首创并系统化了契约式设计（Design by Contract）：例程可声明前置条件（require）、后置条件（ensure），类可声明不变式（invariant），编译器与运行时据此检查调用方与实现方各自的义务。这一思想后来影响了 Ada 2012、C# 的 Code Contracts、各语言断言库以及大量 API 设计实践。

语言特性

Eiffel 支持多重继承与泛型，较早引入了「命令与查询分离」原则；后期版本加入 void 安全机制，在编译期防止空引用调用。

现状

商业实现以 EiffelStudio 为主，工业使用范围有限，但其方法论遗产在软件工程界影响深远。