C'est utile pour la lisibilité du code d'abord, ça facilite les possibilités d'optimisation pour le compilateur / interpréteur, ça permet de mieux spécifier le comportement du programme (du moins plus simplement).
J'aime beaucoup le langage Haskell (en ce qui concerne le typage) parce qu'il utilise un système de typage dynamique qui peut être contraint par le programmeur.
On a donc tous les avantages du typage explicite, sans les inconvénients.
[^] # Re: Langage typé !?!
Posté par G. R. . En réponse à la dépêche Apache/PHP et IIS/ASP : pas si bons ?. Évalué à 10.
C'est utile pour la lisibilité du code d'abord, ça facilite les possibilités d'optimisation pour le compilateur / interpréteur, ça permet de mieux spécifier le comportement du programme (du moins plus simplement).
J'aime beaucoup le langage Haskell (en ce qui concerne le typage) parce qu'il utilise un système de typage dynamique qui peut être contraint par le programmeur.
On a donc tous les avantages du typage explicite, sans les inconvénients.