Pour te répondre et à ceux qui ont aussi répondu à ton post :
- la contravariance des arguments d'entrée associée à la covariance simple respectent le typage classique (typage de Liskov),
- la contravariance multiple et la covariance multiple ne respectent pas le typage de Liskov (typage de premier ordre avec polymorphisme)
- la covariance multiple respecte le typage de Cook (typage de second ordre : un typage qui, à mes yeux, est le typage le plus adapté à l'esprit objet puisque la grande partie de ses propriétés, comme le polymorphisme, en découlent naturellement). En fait, la covariance multiple en découle même.
Dire que la contravariance est mieux que la covariance est une erreur, de la même façon que l'inverse, ceci du point de vue du typage de Liskov. Eiffel, permet, par ses constructions, de /simuler/ le typage de Cook. Une proposition avait été faite à Meyer de le supporter complètement mais celui-ci l'a refusé ; les arguments des uns et des autres étaient valables et le choix ne relevait plus que d'un décision subjective.
[^] # Re: Goûtez-y !
Posté par Miguel Moquillon (site web personnel) . En réponse à la dépêche EiffelStudio devient un logiciel libre. Évalué à 3.
- la contravariance des arguments d'entrée associée à la covariance simple respectent le typage classique (typage de Liskov),
- la contravariance multiple et la covariance multiple ne respectent pas le typage de Liskov (typage de premier ordre avec polymorphisme)
- la covariance multiple respecte le typage de Cook (typage de second ordre : un typage qui, à mes yeux, est le typage le plus adapté à l'esprit objet puisque la grande partie de ses propriétés, comme le polymorphisme, en découlent naturellement). En fait, la covariance multiple en découle même.
Dire que la contravariance est mieux que la covariance est une erreur, de la même façon que l'inverse, ceci du point de vue du typage de Liskov. Eiffel, permet, par ses constructions, de /simuler/ le typage de Cook. Une proposition avait été faite à Meyer de le supporter complètement mais celui-ci l'a refusé ; les arguments des uns et des autres étaient valables et le choix ne relevait plus que d'un décision subjective.