Eiffel

Eiffel est un langage informatique

Date de création : 1986.

Auteur : Bertrand Meyer.

Paradigme(s) : langage orienté objet (à classes).

Type d'exécution : langage compilé.

Typage : statique.

Système d'exploitation : multiplateforme.

Licence : GPL et entreprise.

Histoire

Eiffel est un langage orienté objet à classes conçu par Bertrand Meyer. Il s'agit à la fois d'un langage et d'une méthode de conception.

Eiffel est ce qu'on peut appeler un langage orienté objet « pur ». On ne peut avec lui utiliser un autre paradigme de programmation.

Son apprentissage demande un effort certain mais il propose des fonctionnalités novatrices importantes (voir ci-dessous).

Caractéristiques

Les sites et livres indiqués ci-dessous permettent une approche détaillée du langage. On se contentera ci dessous d'indiquer ses principales caractéristiques.

• Eiffel est un langage complètement orienté objet qui ne permet pas de mettre en oeuvre un autre paradigme.
• Eiffel permet d'interfacer aisément son code avec du code C, C++, Java ou C#.
• Eiffel traite l'ensemble du cycle de vie d'un logiciel (de l'analyse à la maintenance).
• La classe est l'unique moyen de structuration du code.
• Les types sont tous basés sur une classe, y compris les types de base (booléen, entier, chaîne,...)
• Eiffel utilise la programmation par contrat (chaque composant est doté de spécifications concernant ses propriétés abstraites et ses interactions avec les autres composants).
• Eiffel est un langage auto-documenté.
• Eiffel propose l'héritage multiple avec clause d'adaptation d'héritage.
• Eiffel gère le polymorphisme
• Eiffel permet le typage statique.
• Eiffel permet la création de classes génériques avec d'éventuelles contraintes
• Eiffel dispose d'un ramasse-miettes.

Par contre Eiffel ne permet pas d'utiliser des variables globales, des types union ou record, des instructions goto ou des pointeurs (sauf pour l'interfaçage avec d'autres langages).

Généalogie

Eiffel a été influencé par Ada, Simula et Z.