rust n'a pas la normalisation et les certifications que peut avoir ADA et les cycles de développement de rust rendent impossible la normalisation. Si AdaCore veut continué à être payé par ses clients qui ont besoin de haute criticité, ils ne vont pas avoir bien le choix, non ?
D'un point de vu moins commercial et plus technique les garanties fournies par un code rust ne sont pas les même que celles fournis par un code ada.
[^] # Re: Très bel article, petite remarque de français
Posté par barmic 🦦 . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 2.
rust n'a pas la normalisation et les certifications que peut avoir ADA et les cycles de développement de rust rendent impossible la normalisation. Si AdaCore veut continué à être payé par ses clients qui ont besoin de haute criticité, ils ne vont pas avoir bien le choix, non ?
D'un point de vu moins commercial et plus technique les garanties fournies par un code rust ne sont pas les même que celles fournis par un code ada.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll