Je ne suis pas non plus moi-même un spécialiste de la théorie des langages de programmation. De plus la question de la variance des arguments des routines héritées est ce que je maîtrise le plus mal. Il n'empêche que je suis les mailing lists Eiffel et que la question des catcalls, qui sont les produits de ces problèmes de variance y ont été abondamment abordés. Il me semble que SmartEiffel autant qu'EiffelStudio sont sécurisés à ce point de vue.
Si tu lis le papier de Castagna que je t'ai indiqué, tu verras que la question de la covariance et de la contravariance ne sont pas des notions opposées mais qu'elles recouvrent des objectifs de nature sémantiquement différentes.
Par ailleurs je ne promeus pas ici Eiffel comme un langage expérimental, mais comme un outil disponible aujourd'hui pour produire des logiciels, avec ses défauts. Comme tu le dis, on peut bien aussi utiliser C++... Le vrai défaut d'Eiffel, comme cela a été pertinemment évoqué ici, c'est sa relative pauvreté en bibliothèques et en frameworks.
[^] # Re: Goûtez-y !
Posté par Philip Marlowe . En réponse à la dépêche EiffelStudio devient un logiciel libre. Évalué à 2.
Si tu lis le papier de Castagna que je t'ai indiqué, tu verras que la question de la covariance et de la contravariance ne sont pas des notions opposées mais qu'elles recouvrent des objectifs de nature sémantiquement différentes.
Par ailleurs je ne promeus pas ici Eiffel comme un langage expérimental, mais comme un outil disponible aujourd'hui pour produire des logiciels, avec ses défauts. Comme tu le dis, on peut bien aussi utiliser C++... Le vrai défaut d'Eiffel, comme cela a été pertinemment évoqué ici, c'est sa relative pauvreté en bibliothèques et en frameworks.