ooops, excuse, j'ai compris ton post precedent comme un cochon.
"substitution => contravariance "
Je suis d'accord avec toi. Mais je voulais éviter de tomber dans des regles de typages fonctionelles. Les fonctions n'etant pas des objets de premiere classes dans Nosica, je ne pense pas qu'il soit necessaire de sortir l'artillerie lourde :)
par contre je comprend plus le
"surcharge => covariance"
je vois pas le sens de "surcharge" au niveau des types... mais il est tard, ceci expliquant peut-etre cela.
[^] # Re: Nosicalight version 0.2
Posté par MrTout . En réponse au journal Nosicalight version 0.2. Évalué à 1.
"substitution => contravariance "
Je suis d'accord avec toi. Mais je voulais éviter de tomber dans des regles de typages fonctionelles. Les fonctions n'etant pas des objets de premiere classes dans Nosica, je ne pense pas qu'il soit necessaire de sortir l'artillerie lourde :)
par contre je comprend plus le
"surcharge => covariance"
je vois pas le sens de "surcharge" au niveau des types... mais il est tard, ceci expliquant peut-etre cela.