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

Rustでは変数と実際の値の格納先であるメモリ空間を1対1に対応させるよう制約を設けており、同じ値(メモリ空間)を複数の変数から参照することは原則としてできません。つまり、特定の値は1つの変数によってのみ所有されるという考え方を基本としています。
これはプログラミング上の制約を伴いますが、その代わりに後述するメモリの自動管理、メモリの安全性、ゼロコスト抽象化を可能とします。

Rustは所有権システムを導入していることにより、変数が不要になる時点でコンパイラがメモリ解放を判断できるようになります。そのため、「明示的なメモリ解放」などのメモリに関する操作がほぼ不要となっています。

強力な型システムとリソース管理の仕組みにより、メモリの安全性が保証されています。Rustのコンパイラはコンパイル時に所有権と借用のルールを厳密にチェックし、不正なメモリアクセスやデータ競合を防いで安全なプログラミングを実現します。

従来のプログラミング言語ではポリモーフィズムや高階関数などの抽象化を使用した場合、実行時にオーバーヘッド（コスト）がかかるという問題がありました。Rustでは所有権システムの考え方を導入することでこの問題をコンパイル時に解決し、実行時にはゼロコストになるように設計されています。

ある変数へ格納した値を別の変数に移動させることで、所有権を移動させます。これにより、不要なリソースを破棄し、メモリの安全性を保っています。

オーナーシップの概念に従うとリソースの所有権が無い限りリソースを参照することもできなくなり、利便性が損なわれます。
そこでリソースの所有権を条件付で借用し、参照と書き込みを可能とするミュータブル参照という形でリソースにアクセスすることを可能としています。

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

Rustは並行プログラミングが安全かつ効率的に行えることを目標としており、所有権と型チェックの概念に基づき並行性に起因するエラーをコンパイル時に検知することができます。