L'intérêt de Rust n'est pas son typage strict, ou ses énumérés, etc. C'est l'assemblage de tous ces paradigmes en un seul écosystème.
On appel ça un système de type. et plusieurs langages vont au moins aussi loin depuis plus longtemps. Je ne pense pas que ça suffise à le démarquer.
le borrow checker
la possibilité d'utiliser ce genre de système de type tout en ayant une grande affinité avec les manipulations bas niveau
le borrow checker
la gestion de mémoire avec peu ou pas d'overhead
un outillage pratique et facile d'accès
le borrow checker
Il me semble que s'il y a vraiment un truc qui le rend unique c'est le borrow check. Au milieu de différentes choses qui sont plus de l'état de l'art des langages, il me semble être le seul langage à avoir intégré à son typage des informations permettant à la fois une programmation parallèle fiable et une gestion de la mémoire efficace.
[^] # Re: Au sujet du « Ça marche du premier coup »
Posté par barmic 🦦 . En réponse au journal Intégration d'une fenêtre de debug live en Rust 🦀. Évalué à 6.
On appel ça un système de type. et plusieurs langages vont au moins aussi loin depuis plus longtemps. Je ne pense pas que ça suffise à le démarquer.
Il me semble que s'il y a vraiment un truc qui le rend unique c'est le borrow check. Au milieu de différentes choses qui sont plus de l'état de l'art des langages, il me semble être le seul langage à avoir intégré à son typage des informations permettant à la fois une programmation parallèle fiable et une gestion de la mémoire efficace.
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll