Rust är ett systemprogrammeringsspråk som innehåller många egenskaper vanligen förekommande i andra moderna programmeringsspråk, däribland typsäkerhet, minnessäkerhet, koncurrency och prestanda. Det utformades av Mozilla Research med syfte att göra det möjligt att skriva säker och parallell kod utan att behöva offra prestanda eller lågnivåkontroll.
Jämfört med C och C++, två språk det ofta jämförs med, skiljer sig Rust genom att forcera en strikt kompilering. Medan både C och C++ tillåter kod som är “mer eller mindre rätt”, kommer Rusts kompilator att vägra att producera en binär om koden inte är pinfärsk och fri från vanliga buggar. Dessutom utmärker sig Rust genom att det från grunden är byggt för minnessäkerhet, i skarp kontrast till C och C++ där minneskorruption och sekretessläckage är vanligt förekommande problem.
Rust är också känt för dess många unika egenskaper, såsom dess ägandesystem. Denna funktion hjälper programmerare att förhindra data race-condition (en bugg som uppstår när två trådar samtidigt försöker att ändra samma data) genom att följa regler för ägande, där varje värde har en enda ägare, och kan inte manipuleras när det är lånade.