Mais la cohérence forcée du typage par le langage (parce que ça marche aussi bien avec un interpréteur qu'un compilateur en Haskell) permet de formaliser une partie du code et d'offrir des garanties que tu ne peux pas offrir en JS. Alors c'est sûr que pour un script JS sur une page Web l'intérêt est limité, mais dans plein d'autres applications, on va apprécier cette fonctionnalité.
Je rebondirais même là dessus pour ajouter que ça peut parfois remplacer les tests.
L'exemple le plus connu et qui fait vraiment mal au cul quand on se remet au Java après avoir fais du Scala, c'est tout ces tests à écrire juste pour s'assurer qu'il n'y a pas un null qui traine.
La contrainte : "{ce paramètre,valeur de retour,etc...} ne peut pas être null" peut être exprimée avec des types !
Et bin on peut faire pareil avec pleins d'autres contraintes encore plus sympa :)
(Et là je ne parle que de type, contrairement à msieur happy qui nous parlait de prog fonctionnelle ET de types :)
[^] # Re: typage mou
Posté par Victor . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 4.
Mais la cohérence forcée du typage par le langage (parce que ça marche aussi bien avec un interpréteur qu'un compilateur en Haskell) permet de formaliser une partie du code et d'offrir des garanties que tu ne peux pas offrir en JS. Alors c'est sûr que pour un script JS sur une page Web l'intérêt est limité, mais dans plein d'autres applications, on va apprécier cette fonctionnalité.
Je rebondirais même là dessus pour ajouter que ça peut parfois remplacer les tests.
L'exemple le plus connu et qui fait vraiment mal au cul quand on se remet au Java après avoir fais du Scala, c'est tout ces tests à écrire juste pour s'assurer qu'il n'y a pas un null qui traine.
La contrainte : "{ce paramètre,valeur de retour,etc...} ne peut pas être null" peut être exprimée avec des types !
Et bin on peut faire pareil avec pleins d'autres contraintes encore plus sympa :)
(Et là je ne parle que de type, contrairement à msieur happy qui nous parlait de prog fonctionnelle ET de types :)