Eiffel (langage)

Modèle:Voir homonymes Modèle:Infobox Langage de programmation Eiffel est un langage de programmation orienté objet (POO) conçu par Bertrand Meyer, auteur de l'ouvrage Conception et Programmation orientées objet qui fait figure de référence pour la conception orientée objet.

Eiffel est un langage conçu autour d’une méthode de conception. Il est basé sur des concepts tels que la programmation par contrat, la réutilisation (notamment par héritage multiple), l’accès uniforme, la séparation requête Modèle:Incise déclaration, la séparation des arguments et des options.

Il intègre des fonctionnalités avancées et novatrices. Il supporte en effet l'héritage multiple avec un mécanisme de renommage, la généricité multicontrainte, l'exportation sélective, la conversion de type, les routines d'ordres supérieurs, les routines à exécution unique, un système de programmation parallèle unique, l'interfaçage avec d'autres langages, l'ancrage de type et la covariance.

Le langage fait l'objet des normes ECMA 367<ref>ECMA 367, Eiffel: Analysis, Design and Programming Language, juin 2006</ref> et ISO/CEI 25436:2006<ref>ISO/CEI 25436:2006, Technologies de l'information -- Eiffel: Langage d'analyse, conception et programmation, décembre 2006</ref>.

Compilateurs

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.

Studio de développement complet

Modèle:Lien est un environnement de développement (éditeur, compilateur, débogueur…). EiffelStudio est disponible sous licence libre depuis la version 5.7<ref>EiffelStudio Releases</ref>. La dernière version, 19.05, remonte au Modèle:Date<ref>EiffelStudio</ref>.

Implémentation dans Microsoft .NET

En 2000, Microsoft publie les travaux préliminaires de chercheurs de l'université Monash (Melbourne) visant à créer un langage Eiffel#. Ainsi, on peut mélanger Eiffel avec les autres langages de la plate-forme .NET, grâce à des compilateurs Eiffel vers CIL<ref>Modèle:Lien web</ref>. Eiffel ne fait toutefois pas partie des langages intégrés par Microsoft lui-même dans Visual Studio<ref>Modèle:Lien web</ref>.

« Hello, world »

Voici un exemple de Hello world en Eiffel :

<syntaxhighlight lang="eiffel"> class

   HELLO_WORLD

create

   make

feature

   make
       do
           print ("Hello, world!%N")
       end

end </syntaxhighlight>

Origine du nom

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 logicielsModèle:Référence nécessaire.

Annexes

Bibliographie

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