URL: https://linuxfr.org/users/kakaouete/journaux/typage-statique-versus-typage-dynamique Title: Typage statique versus typage dynamique Authors: Victor Date: 2012年07月08日T18:44:39+02:00 License: CC By-SA Tags: langage et typage Score: 32 Réveillé par le journal précédent sur la transformation de programmes python vers le C, je me suis dit qu'en ce beau dimanche, ce serait cool de lancer le fameux troll "typage statique versus dynamique", mais avec des sources de poids :) Un mec a transcrit (ligne à ligne !) des programmes python vers haskell pour voir si cela ferait apparaître des bugs grâce au typage statique. Il n'a bien sûr pas changé le design et suivi celui qui avait été fait avec python. Il raconte son aventure là : http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html En fait c'est plutôt une comparaison "typage dynamique + tests unitaires" vs "typage statique". Il conclue que les tests unitaires ne remplacent pas le typage statique, et que l'implémentation des programmes ne demande pas de re-conception particulière pour être traduite dans un langage à typage statique. Et un autre mec en tire quelques conclusions, en particulier sur la bonne utilisation des types pour qu'ils servent à quelque chose et la stupidité du "null" : http://blog.rafaelferreira.net/2012/07/types-and-bugs.html Et moi je rajoute : mais pourquoi y a-t-il encore des gens pour croire que le typage dynamique a un quelconque avantage ? Surtout si on a de l'inférence de type ! Bonne journée \o/