Prenons la règle (vraie) de sous typage suivante
T1<=S1 S2>+T2 => T1->T2 <= S1->S2
Si j'ai une fonction de type T->U et T de forme flèche (T1->T2 par ex) alors la forme des expressions de type S que je peux substituer au type T alors S est de la forme S1->S2 avec S1>= T1 , j'ai donc la contravariance pour la substitution. Les arguments de type S seront bien substitués à ceux de type T dans le corps de la fonction.
[^] # Re: Nosicalight version 0.2
Posté par Kriek . En réponse au journal Nosicalight version 0.2. Évalué à 1.
Hein?
Prenons la règle (vraie) de sous typage suivante
T1<=S1 S2>+T2 => T1->T2 <= S1->S2
Si j'ai une fonction de type T->U et T de forme flèche (T1->T2 par ex) alors la forme des expressions de type S que je peux substituer au type T alors S est de la forme S1->S2 avec S1>= T1 , j'ai donc la contravariance pour la substitution. Les arguments de type S seront bien substitués à ceux de type T dans le corps de la fonction.