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.

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.

Pourquoi l'utiliser?

Selon l'auteur, pour produire du logiciel de qualité fait par des programmeurs professionels.
A utiliser quand la sécurité est essentielle.

Sites et outils

Exemple de code

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