Language de programmation Rust

Le Rust est un language de programmation multi-paradigme de type système utilisant des principes bien connus de l'informatique pour permettre l'écriture de programmes corrects et performants. Le Rust applique une politique de sécurité mémoire très simple : chaque référence mémoire doit pointer vers une case mémoire valide. Il y arrive en implémentant un vérificateur d'emprunt (Borrow-Checker) qui analyse de manière statique la durée de vie de tous les objets mémoires.