Effectivement Ada n'est pas un langage de masse, mais est encore pas mal utilisé dans des domaines ou la sécurité prime (aéronautique, spatial, ferroviaire, ...). En plus il est toujours activement maintenu et étendu (environ une nouvelle norme tous les 10 ans avec Ada83, Ada95 et Ada2005 ce qui à l'échelle de temps des projets utilisateurs est convenable...)
C'est vrai qu'on est toujours tenté de se diriger vers des langages plus utilisés (plus de gens formés, plus d'outils, plus de choix de fournisseurs, ...), mais actuellement pour les applications embarqués critiques, passer de l'Ada au C est une régression (perte de l'orientation object, de l'encapsulation, du typage...) et passer de l'Ada au Java se fera peut-être un jour quand on aura résolu les problèmes du Java (Java temps réel, déterminisme du traitement des exceptions...).
Coté outils notamment avec GNAT on dispose d'une chaîne basée sur gcc donc avec tout le confort moderne (ide, debugger, ...) et coté développeurs j'aurais des doutes sur un développeur C qui ne saurait pas assez rapidement se mettre à l'Ada...
Pour les autres langages (et a fortiori les autres paradigmes de programmation comme la programmation fonctionelle), il leur faut encore franchir toutes les étapes déjà faites pour Ada, C et en cours pour JavaRT afin d'être certifiable pour des applications critiques, ce qui a ma connaissance n'est pas à l'ordre du jour... par contre OCaml, Haskell, Ruby, Python,... et consorts sont utilisés dans l'outillage autour de la production de code critique (générateurs de code, checkers, ...) là ou à mon sens ils ont un véritable intérêt...
[^] # Re: ...da sur mon bidet
Posté par gege (site web personnel) . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 4.
Effectivement Ada n'est pas un langage de masse, mais est encore pas mal utilisé dans des domaines ou la sécurité prime (aéronautique, spatial, ferroviaire, ...). En plus il est toujours activement maintenu et étendu (environ une nouvelle norme tous les 10 ans avec Ada83, Ada95 et Ada2005 ce qui à l'échelle de temps des projets utilisateurs est convenable...)
C'est vrai qu'on est toujours tenté de se diriger vers des langages plus utilisés (plus de gens formés, plus d'outils, plus de choix de fournisseurs, ...), mais actuellement pour les applications embarqués critiques, passer de l'Ada au C est une régression (perte de l'orientation object, de l'encapsulation, du typage...) et passer de l'Ada au Java se fera peut-être un jour quand on aura résolu les problèmes du Java (Java temps réel, déterminisme du traitement des exceptions...).
Coté outils notamment avec GNAT on dispose d'une chaîne basée sur gcc donc avec tout le confort moderne (ide, debugger, ...) et coté développeurs j'aurais des doutes sur un développeur C qui ne saurait pas assez rapidement se mettre à l'Ada...
Pour les autres langages (et a fortiori les autres paradigmes de programmation comme la programmation fonctionelle), il leur faut encore franchir toutes les étapes déjà faites pour Ada, C et en cours pour JavaRT afin d'être certifiable pour des applications critiques, ce qui a ma connaissance n'est pas à l'ordre du jour... par contre OCaml, Haskell, Ruby, Python,... et consorts sont utilisés dans l'outillage autour de la production de code critique (générateurs de code, checkers, ...) là ou à mon sens ils ont un véritable intérêt...