Bien sûr on peut toujours imaginé faire évoluer Rust et/ou Ada mais alors ce n'est plus Rust, ni Ada, c'est un mixte, exactement le but de ce projet a priori. : Ruda ou Adst :D
On verra bien mais de ce que j'ai compris, pour l'instant, c'est surtout des bindings bidirectionnels un peu comme pour les autres langages et surtout d'aider à fournir un compilateur Rust certifié, ce qui est un peu le métier d'AdaCore.
[^] # Re: Très intéressant
Posté par Blackknight (site web personnel, Mastodon) . En réponse au lien AdaCore and Ferrous Systems Joining Forces to support certified Rust for mission and safety-critical. Évalué à 3.
On verra bien mais de ce que j'ai compris, pour l'instant, c'est surtout des bindings bidirectionnels un peu comme pour les autres langages et surtout d'aider à fournir un compilateur Rust certifié, ce qui est un peu le métier d'AdaCore.