Je me suis renseigné un peu sur Ada et Ada n'a clairement pas la même visée que Rust. Ada est plus verbeux et donc il est plus long d écrire un programme mais c'est pour qu'il puisse être vérifié au sens que l'on peut vérifier qu il respecte un cahier des charges. Il est par contre moins performant que Rust.
Rust est destiné à faire un programme informatique sécurisé et performant (OS ou application) Ada se tourne plus vers une application critique bancaire, administrative ou d'avion. En Rust on fais attention à la sécurité informatique en Ada a ce que le résultat donne (int négatif après une addition de positif à cause d un débordement).
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.
[^] # Re: En...age de mouche
Posté par abriotde (site web personnel, Mastodon) . En réponse à la dépêche Sortie de GHDL version 1.0.0. Évalué à 2.
Je me suis renseigné un peu sur Ada et Ada n'a clairement pas la même visée que Rust. Ada est plus verbeux et donc il est plus long d écrire un programme mais c'est pour qu'il puisse être vérifié au sens que l'on peut vérifier qu il respecte un cahier des charges. Il est par contre moins performant que Rust.
Rust est destiné à faire un programme informatique sécurisé et performant (OS ou application) Ada se tourne plus vers une application critique bancaire, administrative ou d'avion. En Rust on fais attention à la sécurité informatique en Ada a ce que le résultat donne (int négatif après une addition de positif à cause d un débordement).
Sous licence Creative common. Lisez, copiez, modifiez faites en ce que vous voulez.