複数のプログラミングパラダイムに対応したプログラミング言語の総称で、Rustでは関数型プログラミング、並列アクターモデル、オブジェクト指向プログラミング、手続き型プログラミング、ジェネリックプログラミングをサポートしています。

抽象化を行うにあたり、理想的な量のコストしか使わないという思想でRustのトレイトでは、静的ディスパッチ（実際に使っている具体的な型を当てはめて、具体的な関数を作成する）によって一切の抽象化コストを払う必要がありません。

Rustでは、GC（ガベージコレクション）は存在せず、メモリ管理は自動で行われます。そのため、「明示的なメモリ解放」などのメモリに関する操作がほぼ不要となっています。

強力な型システムとリソース管理の仕組みにより、メモリセーフな安全性が保証されています。メモリはコンパイル時にコンパイラが並行性バグを含む不具合箇所のチェックを行い、全てのデータ競合を排除します。

Rustでは、1つのリソース（値X）は1つの所有者（変数A）のみに関連付けられるという制約があります。不必要なリソースを複数で持たないための制約で、これはゼロコスト抽象化を担う機能となっています。

前項（オーナーシップ）の値Xを変数Aへ格納した後、さらに値Xを変数Bへ格納すると、変数Aから変数Bへリソースの所有権が譲渡され元の変数Aから値Xの参照はできなくなります。これにより、不要なリソースを破棄し、メモリの安全性を保っています。

前項までの概念では、リソースの所有権が無い限り、リソースを参照することもできなくなります。
それでは利便性が損なわれるため、リソースを複数で共有するのではなく、条件付で所有権を借用し、参照と書き込み可能なミュータブル参照という形で利用することも可能としています。

Rustでは、全ての参照でライフタイムを持っています。これは変数のスコープのようなもので、ライフタイムが終了した参照は使用することができなくなります。これも所有権と関連し、メモリの安全性を保つための概念となります。