Eiffel (programovací jazyk)

Eiffel je objektovo orientovaný programovací jazyk, štandardizovaný ISO, navrhnuý s ohľadom na rozšíriteľnosť, znovupoužiteľnosť kódu, spoľahlivosť a efektivitu pri programovaní. V akademickom prostredí sa používa na výučbu princípov programovania a v priemysle ako vývojová platforma.

Jazyk Eiffel je založený na niekoľkých princípoch, medzi ktoré patria kontraktné programovanie, separácia príkazov a požiadaviek, princíp jednotného prístupu, princíp jedinej voľby, princíp otvorenosti/uzavretosti a separácia volieb a operandov.

Mnohé z konceptov, ktoré zaviedol Eiffel, boli neskôr prenesené aj do iných jazykov ako Java či C#. Eiffel pokračuje v bádaní nových nápadov návrhu jazyka, zvlášť pomocou štandardizačného procesu ECMA/ISO.