Les transparents du cours - PPS
Les transparents du cours - PPS
Les transparents du cours - PPS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
La relation de sous-typage entre types de fonction<br />
◮ Le constructeur de type ”→” est :<br />
τ i 2 ⊳ τ i 1 τ o 1 ⊳ τ o 2<br />
τ i 1 → τ o 1 ⊳ τ i 2 → τ o 2<br />
◮ contravariant sur le type de l’entrée ;<br />
◮ covariant sur le type <strong>du</strong> résultat.