Tant qu'à troller, autant le faire sur le thème covariance / invariance / contravariance. Peut-être que des épigones de Sather vont se manifester.
Pour ma part, ce débat me passe souvent largement au-dessus de la tête, sauf pour au moins un aspect : l'affirmation la contravariance résoud tous les problèmes. Il suffit de montrer par un exemple que ce n'est pas vrai.
Prenons une classe FOO quelconque avec une fonction de type booléen is_equal (other: FOO). Y a-t-il un chantre de la contravariance qui peut m'expliquer comment on se débrouille avec les héritiers de cette classe pour garder à cette fonction le même sens ?
[^] # Re: Et le Troll, il arrive quand ?
Posté par Philip Marlowe . En réponse à la dépêche Une nouvelle version stable de SmartEiffel. Évalué à 1.
Pour ma part, ce débat me passe souvent largement au-dessus de la tête, sauf pour au moins un aspect : l'affirmation la contravariance résoud tous les problèmes. Il suffit de montrer par un exemple que ce n'est pas vrai.
Prenons une classe FOO quelconque avec une fonction de type booléen is_equal (other: FOO). Y a-t-il un chantre de la contravariance qui peut m'expliquer comment on se débrouille avec les héritiers de cette classe pour garder à cette fonction le même sens ?
Sur ce (peut-être) bon troll.