Recherche:

Je comprends pourquoi nous n'arrivions pas à discuter.

Tu considères l'assignation comme un foncteur. Autrement dit, tu considères que le morphisme dans un langage objet est définit comme la...

@Antione Debyser
Désolé mais je vois difficilement comment.

Pour reprendre la théorie des catégories d'où sont issues ces notions, un foncteur covariant/contravariant est défini comme...

Non, à strictement parler ce n'est pas de la covariance, c'est du simple polymorphisme. On parle de covariance ou de contravariance quand les règles du polymorphisme sont étendues à des...

Bonjour à toi. :)
Et avant tout, bonne initiative. :ccool:

Première remarque : une légère incohérence dans le plan. La section (2b) sur la création d'interfaces et de délégués covariants est une...