URL: https://linuxfr.org/users/gilcot/journaux/la-rouille-et-la-comtesse Title: la rouille et la comtesse Authors: Gil Cot ✔ Date: 2021年11月17日T17:01:02+01:00 License: CC By-SA Tags: fiabilité, code, langage, sécurité, comparatif, ada et rust Score: 31 Salut 'nal. Il y a quelques mois, je me suis mis au [langage Rust](https://www.rust-lang.org/) qui était alors le [plus plébiscité de StackOverflow](https://insights.stackoverflow.com/survey/2020#technology-most-loved-dreaded-and-wanted-languages-loved) (et ce quatre années de suite...) et qui arrive [second au dernier AOC sur Redit](https://www.reddit.com/r/adventofcode/comments/kj53l1/unofficial_aoc_2020_survey_results/). Les début de la noce furent belle. Cependant, après moins d'une semaine, j'ai du faire une pose qui dura plus longtemps que prévu, et au retour il ne fut pas aisé de se remettre dans la syntaxe cryptique. Ce n'est pas le problème ceci dit. J'ai poursuivi l'aventure cahin-cahan pour me familiariser avec la plupart des concepts du langage. Bien qu'étant loin de sa maîtrise, j'ai quand même voulu prendre le recul par rapport à d'autres langages... Pas de panique, je ne vais pas faire la comparaison avec les langages [Go](https://golang.org/) ou [C++](http://www.cplusplus.com/) etc. Non, je me suis rappelé que ce qui est mis en avant pour ce langage à la mode, ce sont la fiabilité et la sécurité. Et sur ce point, on a l'ancien et discret [Ada](https://www.adahome.com/) très prisé pour les programmes dans le domaine militaire (états-uniens en tout cas) et les transports (aviation, contrôle aérien, ferroviaire, etc.) J'ai donc commencé à prendre des notes pour pouvoir partager avec les moules, puis en vérifiant certains points, j'ai découvert que d'autres avaient fait le boulot, en particulier [Quentin Ochem, gestionnaire de compte chez AdaCore et intervenant chez EPITA](https://www.electronicdesign.com/home/contact/21809457/quentin-ochem) qui écrit en avril 2017 un [bel article sur _Electronic Design_ et dont le titre se traduirait par « Rust et SPARK : Fiabilité logicielle pour tous »](https://www.electronicdesign.com/industrial-automation/article/21804924/rust-and-spark-software-reliability-for-everyone). Il y a là tous les constats que j'ai fait (d'où l'air parfois de déjà vu, masqué par la syntaxe) et un peu plus. Ah oui, mais [SPARK](http://www.spark-2014.org/) ? C'est un sous-ensemble de Ada2012 avec le [contractuel](https://fr.wikipedia.org/wiki/Programmation_par_contrat). Bref, tout en parvenant à éviter le sort de [D](https://dlang.org/) avant, [on continue à réinventer la roue, mais il n'est pas mauvais d'avoir des compétiteurs](https://www.reddit.com/r/ada/comments/7wzrqi/why_rust_was_the_best_thing_that_could_have/). Pour la route, et pour les perfs, jeter un œil au [The Computer Language Benchmarks Game](https://benchmarksgame-team.pages.debian.net/benchmarksgame/fastest/gnat-rust.html). Ciao tutti.