Il y a notamment un commentaire qui explique que Rust est complémentaire d'Ada plus que son concurent :
Ada is a pretty good choice in terms of savety but doesn't help you if you have to excessivly use dynamic allocated resources and pointers in general
Autrement dis, Ada est bon pour la sécurité a condition de ne pas utiliser trop d'allocation dynamique et de pointeurs a l'inverse Rust est bon dans ce domaine mais pas pour garantir qu'une variable ne sera jamais "out of range".
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
# Très intéressant
Posté par abriotde (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.
Il y a notamment un commentaire qui explique que Rust est complémentaire d'Ada plus que son concurent :
Autrement dis, Ada est bon pour la sécurité a condition de ne pas utiliser trop d'allocation dynamique et de pointeurs a l'inverse Rust est bon dans ce domaine mais pas pour garantir qu'une variable ne sera jamais "out of range".
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.