Dans la liste des solutions que tu cites, il me semble justement que la plupart des cas l'Ada n'avance à rien, ce sont des trucs externes.
En effet, l'Ada fait plus de vérifications que d'autres langages, mais n'est pas (ou plus) le langage le plus fiable (il y a beaucoup de choses qu'il fait en dynamique) et je ne sais pas s'il existe de bons analyseurs statiques.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Quelles sont les entrées / sorties d'un tel programme ?
Posté par barmic . En réponse au journal Encore un exemple de code spaghetti : Toyota. Évalué à 2.
En effet, l'Ada fait plus de vérifications que d'autres langages, mais n'est pas (ou plus) le langage le plus fiable (il y a beaucoup de choses qu'il fait en dynamique) et je ne sais pas s'il existe de bons analyseurs statiques.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)