|Influences||C++, Erlang, Haskell, Standard ML|
|Licensing||Open Source (MIT License)|
|Platforms||Linux, OS X, Windows, FreeBSD|
|Official site of Rust|
Rust is a systems programming language from Mozilla Research. It is aiming to be a viable replacement for C++ and used by Mozilla to write a next-generation web browser engine. Unlike most high-level programming languages that use garbage collection, Rust uses the scope-delimited memory management idiom of C++ with stronger enforcement at language level. It uses an abstraction idiom similar to Haskell's type classes instead of OO, and supports reasonably extensive generic programming with type parameters that can be constrained to implemented traits. It has a macro system.
The language and type system have been designed to make it impossible to create memory leaks or null pointer references outside regions explicitly marked as unsafe, while maintaining C++-style explicit memory handling. The cost for this is a somewhat complex core language with various smart pointer types and explicit value lifetime annotations.
Writing FFI bindings to C code is easy. The Cargo tool handles builds and dependencies to third-party packages. There is built-in unit test support.
The stable 1.0 release is scheduled for early in 2015.