Eiffel (langage)

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
Date de première version	1986
Paradigmes	Objet
Auteur	Bertrand Meyer
Développeurs	Bertrand Meyer & Eiffel Software
Dernière version	4.2
Typage	Statique, Fort
Dialectes	SmartEiffel EcmaEiffel
Influencé par	Ada, Simula, Z
A influencé	Sather, Scala, Ruby, Java, C#, D, Lisaac
Implémentations	EiffelStudio, Liberty Eiffel, SmartEiffel, Visual Eiffel
Site web	eiffel.org
Extension de fichier	.e
modifier

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 — commande et expression — 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^[1] et ISO/CEI 25436:2006^[2].

Compilateurs

Capture d'écran EiffelStudio v7.2

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

EiffelStudio (en) est un environnement de développement (éditeur, compilateur, débogueur…). EiffelStudio est disponible sous licence libre depuis la version 5.7^[3]. La dernière version, 19.05, remonte au 22 mai 2019^[4].

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^[5]. Eiffel ne fait toutefois pas partie des langages intégrés par Microsoft lui-même dans Visual Studio^[6].

« Hello, world »

Voici un exemple de Hello world en Eiffel :

class
    HELLO_WORLD
create
    make
feature
    make
        do
            print ("Hello, world!%N")
        end
end

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 logiciels^{[réf. nécessaire]}. Bertrand Meyer reconnaissait tout de même que Eiffel en anglais donnait FL comme "Formal Language", un autre clin d'œil.