Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
Rust is a language for systems programmers, created by Graydon Hoare at Mozilla Research, with the goal of creating a "safe, concurrent, practical language". It has seen a growing interest from the programming community in the past few years.
The syntax of Rust is similar to that of C++, but its semantics are different. Rust is a statically typed language, meaning that types are checked at compile-time, and it uses type inference, meaning that the compiler can deduce the types of variables from the context.
Rust is a memory-safe language, meaning that it will never allow you to dereference a null pointer or access memory that has been freed. This is accomplished by the ownership and borrowing system.
Every value in Rust has an owner, and there can only be one owner at a time. When the owner goes out of scope, the value is destroyed. This ensures that values are always valid and that you can never accidentally use freed memory.
Rust also has a strong focus on concurrency. It uses lightweight threads that are managed by the operating system, and it has support for message passing and atomic operations.
Rust is still a young language, and as such, it is subject to change. However, the core team is committed to maintaining backwards compatibility.
If you're looking for a safe and fast language for systems programming, Rust is a great choice.