Posté par benja .
En réponse au journal Données vs Code.
Évalué à 2.
Dernière modification le 29 mars 2016 à 17:35.
Par "fixer le type polymorphique", j'entends bien le type de l'objet (polymorphique), soit le 'a dans <get : 'a; ...>. La deuxième partie de la fonction -> 'a sera bel et bien fixé à un moment donné (et dans ce cas-ci le (sur)type de l'objet aussi par l'égalité 'a = 'a... mais bon, cf. l'exemple avec mylist, c'est possible).
[^] # Re: ouai
Posté par benja . En réponse au journal Données vs Code. Évalué à 2. Dernière modification le 29 mars 2016 à 17:35.
Par "fixer le type polymorphique", j'entends bien le type de l'objet (polymorphique), soit le 'a dans
<get : 'a; ...>. La deuxième partie de la fonction-> 'asera bel et bien fixé à un moment donné (et dans ce cas-ci le (sur)type de l'objet aussi par l'égalité 'a = 'a... mais bon, cf. l'exemple avec mylist, c'est possible).