Je pense que je n'arriverais pas à te convaincre et inversement.
Pour moi, la réponse à ton problème de fiabilité du code est l'écriture de tests. J'aurais tendance à voir le typage statique comme une forme particulière de tests, avec 2 spécificités :
- on est obligé que ces tests passent pour lancer le programme
- un effet de bord très sympathique est que cela améliore les performances.
Mais le typage statique ne remplace pas entièrement les tests. Il reste bien trop de cas d'erreurs où le typage est respecté (off-by-one, erreurs de logique, variables mal initialisées, la liste est longue).
[^] # Re: .
Posté par Bruno Michel (site web personnel) . En réponse au journal Pourquoi réécrire LinuxFr.org ?. Évalué à 4.
Pour moi, la réponse à ton problème de fiabilité du code est l'écriture de tests. J'aurais tendance à voir le typage statique comme une forme particulière de tests, avec 2 spécificités :
- on est obligé que ces tests passent pour lancer le programme
- un effet de bord très sympathique est que cela améliore les performances.
Mais le typage statique ne remplace pas entièrement les tests. Il reste bien trop de cas d'erreurs où le typage est respecté (off-by-one, erreurs de logique, variables mal initialisées, la liste est longue).