Rustの借用チェッカーは、その最も有名な機能であると同時に、最も有名な問題点でもあります。その核心となる理念は魅力的です。コンパイル時にプログラム全体を通して所有権とライフタイムを追跡することで、コンパイラは、2つのコードが同時に同じデータを変更することがなく、解放後使用（use-after-free）が発生しず、安全なコード内でデータ競合が発生しないことを保証できます。これがうまく機能すれば、驚くべき成果が得られます。コンパイルに成功するプログラムは、多くの種類のメモリエラーに関して、実質的に正しいと言えます。

しかし、その代償は確かに大きい。関数のライフタイムを3階層も深く注釈付けしなければならない。CArc>言語なら2行で済むような方法で、コンポーネント間で状態を共有しようとする。人間にとっては明らかに正しいパターンでも、保守的なシステムにとっては不透明なパターンを、借用チェッカーと格闘することになる。借用チェッカーは、すべてかゼロかという二者択一だ。プログラム全体がシステムに組み込まれるか、あるいはunsafeRustラッパーの中でC言語を記述するかのどちらかしかない。「この特定の型にはムーブセマンティクスを適用したいが、コンパイラにこのモジュール内のすべての参照を追跡させる必要はない」といった中間的な選択肢は存在しない。

Zigは正反対のアプローチを採用しました。Zigの型システムには所有権に関するセマンティクスは一切存在しません。メモリの安全性は、規律、明示的なアロケータ、そしてdeferクリーンアップによって確保されます。メモリを割り当てるすべての関数は、アロケータをパラメータとして受け取ります。何も隠蔽されていません。メモリがどこから来てどこへ行くのかは、自分で書いたコードなので正確に把握できます。これは正直で予測可能ですが、安全性の保証はプログラマの規律とコードレビューに完全に委ねられています。

Fluxは両者の中間に位置し、その解決策はタイ演算子 ~です。Fluxにおける所有権は、型レベルでオプトイン方式です。所有権が重要な型と値に適用すれば、プログラムの残りの部分は、精神的にもコンパイル時にも、所有権に関するオーバーヘッドを一切発生させることなく実行されます。