Eiffel -  Pour la sécurité

Eiffel a été conçu par Bertrand Meyer en 1985. L'idée était de corriger les défauts des autres langages classiques, qui sont la cause de bogues et coûtent du temps aux programmeurs. Il prend son inspiration de langages théoriques imaginés en Université et jamais implementés. C'est un langage purement orienté objet.

Le nom Eiffel inspiré par celui du constructeur de la tour veut évoquer l'idée qu'une construction bien pensée permet d'aller plus loin.

Selon l'auteur, il convient de l'utiliser pour produire du logiciel de qualité fait par des programmeurs professionels. C'est un choix de langage quand la sécurité est essentielle. Il est souvent utilisé par les hôpitaux.

Caractéristiques

- Classes génériques. Réutilisation de classes avec des types differents.
- Classes virtuelles. Une sorte d'interface. Les méthodes sont virtuelles jusqu'à ce que le compilateur les rende réelles, ou même inline.
- Héritage multiple.
- Précondition et postconditions aux fonctions (appelées aussi assertions, programmation par contrat).
- Types héritables qui sont des objets du langage également. "Integer" hérite de "numeric", etc.

Exemple de code

Salut le monde!

class SALUT 
creation 
   make 
feature 
   make is 
   local 
     io:BASIC IO 
   do
     !!io 
     io.put_string("%N Salut le Monde!") 
   end --make 
end -- class SALUT 

Sites et outils

• SmartEiffel. Un portage du langage gratuit et open source.
• Sather. Un langage très proche, en open source.
• Visual Eiffel. Autre version.
• Nouvelles. Blog.