Et un paquet de langages ont choisi d'amalgamer la notion de type et de classe. Et le monde ne s'est pas arrêté, l'informatique s'est énormément développé, on construit des systèmes absolument incroyables pour aller dans l'espace, faire des opérations à distance ou permettre à chacun de faire une visio avec ses proches éloignés. Comme quoi ça ne crée pas de cataclysmes.
Effectivement tu me diras que l'on l'informatique est le domaine d'ingénierie de la plus piètre qualité et tu aurais raison. Mais la solution n'est pas technique. Ce qui donne cette faible qualité c'est la manière dont on s'en accommode (développeurs, utilisateurs et tout autre porteur d'intérêt). C'est en ayant des démarches de qualité plus importantes que l'on peut améliorer la qualité. La preuve n'est qu'une des façons de faire l'un des étapes de ce genre de démarche. Le système de type en lui même s'il peut aider à construire une preuve, il peut très bien être détourner et ne plus garantir grand chose de pertinent (ne jamais sous estimer les énormités que certains peuvent faire).
Enfin je te rejoins sur le fait que pour certains problèmes de qualité précis, il existe des solutions techniques qui de facto corrigent ce problème et devrait donc être utilisés. Je pense en particulier aux buffer overflow.
[^] # Re: Même remarque que précédemment
Posté par barmic 🦦 . En réponse au journal Présentation des librairies pydiderotlibs dédiées à l'enseignement de python. Évalué à 1.
Et un paquet de langages ont choisi d'amalgamer la notion de type et de classe. Et le monde ne s'est pas arrêté, l'informatique s'est énormément développé, on construit des systèmes absolument incroyables pour aller dans l'espace, faire des opérations à distance ou permettre à chacun de faire une visio avec ses proches éloignés. Comme quoi ça ne crée pas de cataclysmes.
Effectivement tu me diras que l'on l'informatique est le domaine d'ingénierie de la plus piètre qualité et tu aurais raison. Mais la solution n'est pas technique. Ce qui donne cette faible qualité c'est la manière dont on s'en accommode (développeurs, utilisateurs et tout autre porteur d'intérêt). C'est en ayant des démarches de qualité plus importantes que l'on peut améliorer la qualité. La preuve n'est qu'une des façons de faire l'un des étapes de ce genre de démarche. Le système de type en lui même s'il peut aider à construire une preuve, il peut très bien être détourner et ne plus garantir grand chose de pertinent (ne jamais sous estimer les énormités que certains peuvent faire).
Enfin je te rejoins sur le fait que pour certains problèmes de qualité précis, il existe des solutions techniques qui de facto corrigent ce problème et devrait donc être utilisés. Je pense en particulier aux buffer overflow.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll