L'avantage est que le système de type ne te ralenti pas, il ne te ralentit peut-etre pas en Haskell mais en C et Java oui (surtout si tu écris des tests unitaires et que tu dois faire des interfaces et des factory).
De mon expérience (vécue et observée), le typage statique ne te ralenti pas dès lors que tu ne cherches pas à te "battre" avec le système de typage.
Un des gains de temps est justement que tu as tout une classe de tests unitaires (tout ceux qui étaient là uniquement pour tester les erreurs de type) qui ne sont pas nécessaires (ce qui n'exclut bien évidement pas d'écrire les autres).
Après, on peut effectivement regretter l'absence d'inférence de type en C ou en Java.
[^] # Re: Trop facile
Posté par gl . En réponse au journal Typage statique versus typage dynamique. Évalué à 3.
De mon expérience (vécue et observée), le typage statique ne te ralenti pas dès lors que tu ne cherches pas à te "battre" avec le système de typage.
Un des gains de temps est justement que tu as tout une classe de tests unitaires (tout ceux qui étaient là uniquement pour tester les erreurs de type) qui ne sont pas nécessaires (ce qui n'exclut bien évidement pas d'écrire les autres).
Après, on peut effectivement regretter l'absence d'inférence de type en C ou en Java.