Parfaitement typé, ça s'appelle une preuve, toute erreur est détecté à la compilation, aucune erreur n'est possible à l’exécution.
Heu, aucune erreur possible à l'exécution... et toute erreur détectée à la compilation, c'est peut-être valable dans un contexte limité où les entrées/sorties et les ressources dispos sont très contrôlés, et les algos mathématiquement construits. Mais pour les 99,99% autres programmes, j'ai comme un doute.
Votez les 30 juin et 7 juillet, en connaissance de cause. http://www.pointal.net/VotesDeputesRN
[^] # Re: python et django?
Posté par lolop (site web personnel) . En réponse au journal S’il vous plaît... architecture-moi un Kanboard !. Évalué à 1.
Heu, aucune erreur possible à l'exécution... et toute erreur détectée à la compilation, c'est peut-être valable dans un contexte limité où les entrées/sorties et les ressources dispos sont très contrôlés, et les algos mathématiquement construits. Mais pour les 99,99% autres programmes, j'ai comme un doute.
Votez les 30 juin et 7 juillet, en connaissance de cause. http://www.pointal.net/VotesDeputesRN