Effectivement, ce langage est très expressif mais y'a quand même un problème avec le système de types : les arguments covariants sont possibles (grâce à 'like'). Il est notoire que c'est dangereux. Les travaux de http://www.di.ens.fr/~castagna/(...) résolvent la situation mais c'est évidemment trop tard pour modifier Eiffel.
[^] # Re: On oublie toujours OCaml
Posté par Anaximandre . En réponse à la dépêche Havoc Pennington se pose des questions sur les langages du libre. Évalué à 0.