Coder en Ada est bien plus long et complexe que coder en Rust. Rust n'est pas sécurisé en sois, il est juste plus sécurisé que C/C++ mais beaucoup moins qu'Ada.
En fait Rust est mémory safe (et encore pas totalement parfaitement) alors qu'Ada est aussi exécution safe. A savoir qu'on peut vérifier qu'un programme Ada ne fera pas une boucle infini ou ne fera pas une multiplication qui dépassera la valeur d'un Int. Mais pour arriver a ce résultat, il faut tout dire a Ada. Cela a un intérêt pour un avion, beaucoup moins pour un jeux vidéo ou même pour un driver. Surtout qu'Ada perd un peu en performance par rapport a Rust ou C/C++.
Pour rappel Python ou Java ne sont pas des langages sûr d'un point de vue exécution, ils peuvent faire des plantages. C'est juste qu'ils ne feront pas de "segfault" car l'interpréteur est là.
Rust est une révolution car il apporte le mémory safe dans les langages compilés (sans VM) sans avoir a s'en pré-occuper réellement (pour rappel Go et d'autres compilent leur VM dans le binaire).
En informatique la constante c'est le taux performances x productivité. Si on augmente la productivité du langage on baisse les performance (ou la sécurité). Avec les progrès en langages on fait progresser cette constante de 3 manière:
1) Les performances du compilateur et de la VM. Les performances de l'OS et des processeur (optimisation hardware).
2) Les idées de langages (Rust introduit de nouvelles idées)
3) Les frameworks et solutions dans la manière de faire.
Alors on peut classer les langages du plus productif au plus performant/sécurisé ainsi Python, Go/Java, Rust, Ada.
Une fois le langage choisit, un développeur peut améliorer les performances/sécurité en passant plus de temps sur son programme.
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
# Jamais Ada ne sera utiliser ailleurs que dans son domaine.
Posté par abriotde (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 4. Dernière modification le 22 novembre 2021 à 14:11.
Coder en Ada est bien plus long et complexe que coder en Rust. Rust n'est pas sécurisé en sois, il est juste plus sécurisé que C/C++ mais beaucoup moins qu'Ada.
En fait Rust est mémory safe (et encore pas totalement parfaitement) alors qu'Ada est aussi exécution safe. A savoir qu'on peut vérifier qu'un programme Ada ne fera pas une boucle infini ou ne fera pas une multiplication qui dépassera la valeur d'un Int. Mais pour arriver a ce résultat, il faut tout dire a Ada. Cela a un intérêt pour un avion, beaucoup moins pour un jeux vidéo ou même pour un driver. Surtout qu'Ada perd un peu en performance par rapport a Rust ou C/C++.
Pour rappel Python ou Java ne sont pas des langages sûr d'un point de vue exécution, ils peuvent faire des plantages. C'est juste qu'ils ne feront pas de "segfault" car l'interpréteur est là.
Rust est une révolution car il apporte le mémory safe dans les langages compilés (sans VM) sans avoir a s'en pré-occuper réellement (pour rappel Go et d'autres compilent leur VM dans le binaire).
En informatique la constante c'est le taux performances x productivité. Si on augmente la productivité du langage on baisse les performance (ou la sécurité). Avec les progrès en langages on fait progresser cette constante de 3 manière:
1) Les performances du compilateur et de la VM. Les performances de l'OS et des processeur (optimisation hardware).
2) Les idées de langages (Rust introduit de nouvelles idées)
3) Les frameworks et solutions dans la manière de faire.
Alors on peut classer les langages du plus productif au plus performant/sécurisé ainsi Python, Go/Java, Rust, Ada.
Une fois le langage choisit, un développeur peut améliorer les performances/sécurité en passant plus de temps sur son programme.
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.