Et il n'y a aucun langage existant (à ma connaissance) qui permette de garantir la sureté de l'utilisation mémoire en présence d'allocation sur le tas (sans garbage collector, évidement). Par exemple, ni C++, ni Ada, ni D, ni Go ne le permettent (dans le cas de figure général évidement).
Ada apporte quand même pas mal de garantie à ce niveau-là (grâce aux vérifications d'accessibilités). Bon c’est peut-être pas aussi poussé que Rust (car pas basé sur le même mécanisme) mais ça élimine déjà une grosse majorité des problèmes.
[^] # Re: «Il concurrence donc directement les langages C et C++.»
Posté par grim7reaper . En réponse à la dépêche Rust 1.0, entrée dans la période stable. Évalué à 5.
Ada apporte quand même pas mal de garantie à ce niveau-là (grâce aux vérifications d'accessibilités). Bon c’est peut-être pas aussi poussé que Rust (car pas basé sur le même mécanisme) mais ça élimine déjà une grosse majorité des problèmes.