Coder en Ada est bien plus long et complexe que coder en Rust.
C'est une question de point de vue :)
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.
Alors si on parle de vérifier, ce sera via du Spark mais sinon, il y a juste à définir des types ce qui n'est pas en soi insurmontable.
Alors oui, il faut tout dire mais ça documente aussi beaucoup le code.
Surtout qu'Ada perd un peu en performance par rapport a Rust ou C/C++.
Source ? Usuellement, on estime que le code Ada est 30% plus lent que le code C et équivalent au code C++, sans retirer les runtime checks sinon, c'est équivalent au C. Mais bon, j'ai pas plus de source :D
[^] # Re: Jamais Ada ne sera utiliser ailleurs que dans son domaine.
Posté par Blackknight (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 4. Dernière modification le 22 novembre 2021 à 21:48.
C'est une question de point de vue :)
Alors si on parle de vérifier, ce sera via du Spark mais sinon, il y a juste à définir des types ce qui n'est pas en soi insurmontable.
Alors oui, il faut tout dire mais ça documente aussi beaucoup le code.
Source ? Usuellement, on estime que le code Ada est 30% plus lent que le code C et équivalent au code C++, sans retirer les runtime checks sinon, c'est équivalent au C. Mais bon, j'ai pas plus de source :D