C'est sur que le système de type de Haskell est surpuissant et qu'il permet d'attraper pleins d'erreurs.
Il aurait porté le code Python vers du C il n'aurait surement pas tiré les mêmes conclusions. (d'ailleurs, il le dit dans un de ces commentaires)
Il y a en fait 3 systèmes de types : statique puissant (Haskell), statique pas puissant (C, Java) et dynamique (Python).
A mon avis, Haskell et Python on essayé de résoudre le problème des systèmes de types pas puissant en ayant 2 approches différentes, Python en le rendant le plus invisible possible et Haskell en le rendant le plus puissant possible.
Je n'ai pas trop d'avis sur Haskell vs Python mais je pense que Haskell et Python sont tout les 2 meilleurs que C et Java niveau système de types
# Trop facile
Posté par HardShooter . En réponse au journal Typage statique versus typage dynamique. Évalué à 7. Dernière modification le 09 juillet 2012 à 03:46.
C'est sur que le système de type de Haskell est surpuissant et qu'il permet d'attraper pleins d'erreurs.
Il aurait porté le code Python vers du C il n'aurait surement pas tiré les mêmes conclusions. (d'ailleurs, il le dit dans un de ces commentaires)
Il y a en fait 3 systèmes de types : statique puissant (Haskell), statique pas puissant (C, Java) et dynamique (Python).
A mon avis, Haskell et Python on essayé de résoudre le problème des systèmes de types pas puissant en ayant 2 approches différentes, Python en le rendant le plus invisible possible et Haskell en le rendant le plus puissant possible.
Je n'ai pas trop d'avis sur Haskell vs Python mais je pense que Haskell et Python sont tout les 2 meilleurs que C et Java niveau système de types