Eiffel (langage)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Eiffel.
Eiffel
Apparu en 1986
Auteur Bertrand Meyer
Développeurs Bertrand Meyer & Eiffel Software
Dernière version 4.2
Paradigmes Objet
Typage Statique, Fort
Dialectes SmartEiffel EcmaEiffel
Influencé par Ada, Simula, Z
A influencé Sather, Ruby, Java, C#, D, Lisaac
Implémentations EiffelStudio, SmartEiffel, Visual Eiffel

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.

Sommaire

[modifier] Compilateurs

Il existe plusieurs compilateurs pour le langage Eiffel.

[modifier] SmartEiffel

SmartEiffel est développé par le Loria, qui 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 plate-formes vers lesquelles C peut être compilé.

[modifier] 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.

[modifier] Implémentation dans Microsoft .NET

[modifier] « Hello, world »

Voici un exemple de Hello world en eiffel :

class HELLO_WORLD
 
creation
    make
 
feature
    make is
        do
            io.put_string("Hello world!%N")
        end
 
end -- class HELLO_WORLD

[modifier] Anecdote

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.

[modifier] Bibliographie