Il traîne quand même quelques trucs dans l’écosystème Ada qui permettent de limiter fortement ces trucs-là, à commencer par le Profil Ravenscar et SPARK qui restent tout de même l'un comme l'autre suffisamment proches pour ne pas les considérer comme des outils externes.
D'ailleurs, pour ce dernier, il y a eu une présentation intéressante qui a été filmée.
Bien sûr, aucun langage ne peut se substituer à l'analyse du problème et répondre à la question "Que fait-on quand on se prend un exception là ?".
Ceci dit, il y a quand même des trucs que le langage permet d'éviter. Si ce n'était pas le cas, on coderait encore tout en assembleur :)
Au passage, tu parlais d'Ariane mais il faut quand même rappeler que l'erreur ne vient pas du langage mais de ce que l'on en a fait. Retirer les vérifications sur une opération de conversion, c'est toujours dangereux... Qui plus est quand on convertit du 64 bits en 16 bits :D
Au final, c'est une erreur humaine. Mais là encore, tu pourrais me dire qu'encore fallait-il savoir quoi mettre dans le gestionnaire d'exception, et là, ça devient de l'analyse.
[^] # Re: Quelles sont les entrées / sorties d'un tel programme ?
Posté par Blackknight (site web personnel, Mastodon) . En réponse au journal Encore un exemple de code spaghetti : Toyota. Évalué à 2.
Il traîne quand même quelques trucs dans l’écosystème Ada qui permettent de limiter fortement ces trucs-là, à commencer par le Profil Ravenscar et SPARK qui restent tout de même l'un comme l'autre suffisamment proches pour ne pas les considérer comme des outils externes.
D'ailleurs, pour ce dernier, il y a eu une présentation intéressante qui a été filmée.
Bien sûr, aucun langage ne peut se substituer à l'analyse du problème et répondre à la question "Que fait-on quand on se prend un exception là ?".
Ceci dit, il y a quand même des trucs que le langage permet d'éviter. Si ce n'était pas le cas, on coderait encore tout en assembleur :)
Au passage, tu parlais d'Ariane mais il faut quand même rappeler que l'erreur ne vient pas du langage mais de ce que l'on en a fait. Retirer les vérifications sur une opération de conversion, c'est toujours dangereux... Qui plus est quand on convertit du 64 bits en 16 bits :D
Au final, c'est une erreur humaine. Mais là encore, tu pourrais me dire qu'encore fallait-il savoir quoi mettre dans le gestionnaire d'exception, et là, ça devient de l'analyse.