Là tu cherche à prouver automatiquement qu'un code ne fera jamais de division par 0 ce qui n'est pas le sujet. Le sujet c'est de gérer le cas d'une division par 0. C'est aussi un sophisme le jusqueboutisme pour invalider ;)
J'avoue ne pas être sûr de ce qu'entendait devnewton à l'origine par « la détecter à la compilation ». J'ai imaginé que « la » faisait référence à « la division par zéro » qu'il faudrait alors gérer. J'ai pas imaginé qu'il parlait de détecter n'importe quelle division (facile), mais ton interprétation moins littérale est plus raisonnable. Après, aucun compilateur mainstream ne fait ça non plus que je sache (même si pour le coup c'est possible).
[^] # Re: Ouaiche
Posté par anaseto . En réponse au lien "Rust vs. Go: Why They’re Better Together". Évalué à 2.
J'avoue ne pas être sûr de ce qu'entendait devnewton à l'origine par « la détecter à la compilation ». J'ai imaginé que « la » faisait référence à « la division par zéro » qu'il faudrait alors gérer. J'ai pas imaginé qu'il parlait de détecter n'importe quelle division (facile), mais ton interprétation moins littérale est plus raisonnable. Après, aucun compilateur mainstream ne fait ça non plus que je sache (même si pour le coup c'est possible).