Hum, tout ce que tu arrives à faire passer dans le système de types, c'est toujours ça de plus qui est vérifié statiquement à la compilation et n'a plus besoin de tests unitaires.
Ok, le système de type ne peut pas couvrir toute la sémantique (sinon sa correction ne serait pas décidable), mais on ne peut pas cracher sur un outil qui supprime une part non négligeable des erreurs de programmation pour le même prix.
Est-ce que ça compense le temps gagné par la facilité d'écriture en python ? Aucune idée, je n'ai pas pratiqué python.
[^] # Re: Analysons les arguments
Posté par Aldoo . En réponse au journal Python et les décideurs. Évalué à 10.
Ok, le système de type ne peut pas couvrir toute la sémantique (sinon sa correction ne serait pas décidable), mais on ne peut pas cracher sur un outil qui supprime une part non négligeable des erreurs de programmation pour le même prix.
Est-ce que ça compense le temps gagné par la facilité d'écriture en python ? Aucune idée, je n'ai pas pratiqué python.