Sally (./29) :
Ça a un intérêt pour le polymorphisme

J'aimerai bien avoir un exemple parceque j'ai du mal a voir en quoi ca aide au polymorphisme.

Sally (./29) :
mais l’intérêt principal de l’inférence de types n’est précisément pas de masquer les types, au contraire, c’est de les afficher. Tu écris un truc et la machine infère le type et te le donne. C’est comme ça que fonctionne ocaml par exemple.

Pour moi a partir du moment ou tu laisse la machine te donner ton type, c'est que tu ne maitrise plus ce que tu fais.

GoldenCrystal (./31) :
-déjà+enfin

-enfin+malheureusement