Eiffel (langage)

Eiffel est un langage de programmation orienté objet (POO) conçu par Bertrand Meyer.

Il implémente les principaux concepts d'un langage orienté objets (classes, héritage simple et multiple), ainsi que des concepts originaux, comme l'héritage de type (les types élémentaires héritent les uns des autres) et la programmation par contrat (assertion), qui est sa principale innovation. Il est toujours le seul langage industriel implémentant en standard les concepts de programmation par contrat.

Il existe plusieurs compilateurs pour le langage Eiffel.

SmartEiffel

SmartEiffel est développé par le Loria, est libre et téléchargeable gratuitement. Depuis la version 2.2, cette distribution s'écarte volontairement du standard ECMA pour proposer sa propre version du langage.

SmartEiffel ne compile pas directement l'Eiffel en un programme exécutable, mais utilise l'intermédiaire du C ou du Java. L'utilisation du C a différents avantages :

• Faire de la compilation incrémentale : si l'on modifie quelques lignes dans un très grand travail, grâce aux fonctionnalités de l'outil make, seuls les programmes-cible C modifiés seront recompilés, d'où gain de temps ;
• Utiliser les fonctions d'optimisation des compilateurs C ;
• Être portable sur toutes les plates-formes vers lesquelles C peut être compilé.

Studio de développement complet

• EiffelStudio est un environnement de développement (éditeur, compilateur, débogueur…). EiffelStudio est disponible sous licence libre depuis la version 5.7.

Implémentation dans Microsoft .NET

• On peut mélanger Eiffel avec les autres langages de la plate-forme .NET
• Implémentation de Eiffel sur Microsoft.NET

Voici un exemple de Hello world en eiffel :

1. class HELLO_WORLD

2. creation

3. make

4. feature

5. make is

6. do

7. io.put_string("Hello world!%N")

8. end

9. end -- class HELLO_WORLD

Le nom du langage provient de l'ingénieur Français Gustave Eiffel, concepteur bien connu de la tour Eiffel, qui a été construite dans les délais et en respectant le budget, ce qui est le but avoué du langage Eiffel pour les projets logiciels importants. Le nom lui-même du langage est donc un clin d'œil à l'objectif de respect de saines pratiques lors des développements logiciels.

• Bertrand Meyer (1994), Eiffel, le langage,
• Martine Gautier, Gerald Masini, Karol Proch (1996), Concept de programmation par objet,
• Bertrand Meyer (2000), Conception et programmation orientées objet,