ADA est le language de références pour les applications embarquées critiques pour 2 raisons :
- La première est historique et est détaillée dans le postes autour de celui-ci : conçu pour l'armée dans ses tâches critiques (missiles...)
- L'autre est plus floue : à partir d'une conception / spécification bien faite (hyper exhaustive surtout) on peut écrire facilement tout un tas de contraintes (notament sur les types) et faire une bonne génération de code. Ca rends effectivement le code plus sûr à nos yeux, surtout parce qu'on "voit" une structure solide.
...enfine c'est mon avis. j'ai fait que qques mois d'ada, c'est pas vraiement assez (et de loin !) non plus pour se prétendre expert.
[^] # Re: Ada answers
Posté par Aquarius . En réponse à la dépêche Langages et performances : les Français à l'honneur !. Évalué à 1.
- La première est historique et est détaillée dans le postes autour de celui-ci : conçu pour l'armée dans ses tâches critiques (missiles...)
- L'autre est plus floue : à partir d'une conception / spécification bien faite (hyper exhaustive surtout) on peut écrire facilement tout un tas de contraintes (notament sur les types) et faire une bonne génération de code. Ca rends effectivement le code plus sûr à nos yeux, surtout parce qu'on "voit" une structure solide.
...enfine c'est mon avis. j'ai fait que qques mois d'ada, c'est pas vraiement assez (et de loin !) non plus pour se prétendre expert.