La covariance est là pour permettre la généralisation polymorphe des expressions de la forme T.cast "foo" (essaie sans et avec le +). J'en parle ici sur reddit. La fonction de cast va renvoyer un terme polymorphe de type 'a T.t, à toi de l'utiliser de la façon qui va bien (je suis d'accord sur le fait que, du coup, l'exemple est un peu bizarre).
[^] # Re: Un peu faible
Posté par gasche . En réponse au journal Les types fantômes. Évalué à 3.
La covariance est là pour permettre la généralisation polymorphe des expressions de la forme
T.cast "foo"(essaie sans et avec le+). J'en parle ici sur reddit. La fonction de cast va renvoyer un terme polymorphe de type'a T.t, à toi de l'utiliser de la façon qui va bien (je suis d'accord sur le fait que, du coup, l'exemple est un peu bizarre).