« Rust: sûr et concurrent. Mais comment fait-il ? »
10:40 - 11:30
Conference 2 [Amphi 137]

Vous avez sûrement déjà entendu parler du langage Rust et de ses avantages. Mozilla a créé ce langage pour répondre à différentes problématiques qu’ils ont eu avec le langage C++ sur le code source de Firefox. C’est un langage assez bas niveau qui pourtant ne nous laisse pas gérer directement la mémoire nous-même comme en C, nous empêche de créer des data races et nous permet d’écrire du code multithread qui soit sans comportements indéfinis.

En découvrant ses caractéristiques, on s'interroge:

  • Comment fait-il pour se passer d’un garbage collector ?
  • Pour combattre les undefined behavior et data race, quel recette « magique » Rust utilise-t-il ?

On a l’impression que c’est de la magie noire seulement compréhensible par des chercheurs sauf que pas du tout. Je vous propose de découvrir ensemble et simplement comment le langage Rust arrive à tenir ses promesses et bien plus encore en partie grâce à son système de types.

Mots clés: rust, types, memory, borrow checker