Eiffel (Эйфель) — объектно-ориентированный язык программирования с алголоподобным синтаксисом, разработанный Бертраном Мейером. В этом языке впервые был реализован метод контрактного программирования.
Существуют компиляторы Эйфеля для Windows, DOS, OS/2 и UNIX. Большинство реализаций Eiffel генерирует код Си, то есть выполнены, как транслятор. Далее этот код компилируется с помощью компилятора Си. Однако есть системы, которые порождают и непосредственно машинный код. Например, Visual Eiffel.[4]
Язык «Eiffel» был назван в честь инженера Густава Эйфеля, который построил знаменитую башню, названную в его честь. Выбирая такое название языка, его создатели концентрировали внимание на следующих особенностях Эйфелевой башни:
Тем самым создатели намекали на то, что система программирования «Eiffel» позволяет быстро и бюджетно построить крупные программные системы, используя относительно небольшое количество программных модулей из библиотек Eiffel Software, а также выражали надежду, что программным комплексам, созданным с помощью системы «Eiffel», будет суждена долгая жизнь[7].
где свойства — это общее название полей данных и методов. То есть атрибутов (англ. attributes) и подпрограмм (англ. routines) в терминологии Eiffel. Подпрограммы в подклассах (классах наследниках) могут замещать (переопределять) наследуемые только при конформности (то есть совпадении) их сигнатур.
Ранее использовался несколько иной синтаксис, при котором служебное слово create заменялось на двойной восклицательный знак !!: