Rust

Rust: A safe, concurrent, practical language.

A safe, concurrent, practical language.

Rust is a curly-brace, block-structured expression language. It visually resembles the C language family, but differs significantly in syntactic and semantic details.

Its design is oriented toward concerns of “programming in the large”, that is, of creating and maintaining boundaries – both abstract and operational – that preserve large-system integrity, availability and concurrency.

Rust supports a mixture of imperative procedural, concurrent actor, object-oriented and pure functional styles. Rust also supports generic programming and metaprogramming, in both static and dynamic styles.

Get Rust and try it for yourself to fully assess its capabilities!

Rust features :

- Compilation model - batch, ahead-of-time, C/C++ compatible
- Type system - static, structural-algebraic, with metadata
- Type inference - only local variables
- Generic types - only simple, non-turing-complete substitution
- Concurrency - isolated tasks, message passing
- Unique pointers - move semantics, no races or sharing
- Memory safety - no buffer overflow, use before init, NULL or free()
- Immutability - immutable by default, mutability is the special case
- Garbage collection - optional, per-task, only "shared" types
- Error handling - isolated tasks, unrecoverable unwinding
- Text - utf8 strings, ucs4 characters