Si j'en crois les exemples du journal, et que j'ai bien compris, l'inference de type est une forme de typage implicite (le type de la valeur retournée désigne le type que la fonction retournera). D'un point de vue de la lecture c un peu gênant: ça nécessite d'aller voir l'implémentation pour savoir quel type la fonction retourne. En plus, on risque de perdre une info précieuse lors de la compilation: le message d'erreur se trouvera a l'appel de la fonction et non a la définition/implémentation de celle-ci. A moins que quelque chose m'échappe.
# Définition implicites ?
Posté par totof2000 . En réponse au journal Non, l'inférence de types n'est pas du typage faible. Oui, elle rend les programmes plus lisibles. Évalué à 6.
Si j'en crois les exemples du journal, et que j'ai bien compris, l'inference de type est une forme de typage implicite (le type de la valeur retournée désigne le type que la fonction retournera). D'un point de vue de la lecture c un peu gênant: ça nécessite d'aller voir l'implémentation pour savoir quel type la fonction retourne. En plus, on risque de perdre une info précieuse lors de la compilation: le message d'erreur se trouvera a l'appel de la fonction et non a la définition/implémentation de celle-ci. A moins que quelque chose m'échappe.