変数やリソースが一度だけ使用されることをコンパイル時に確定できる仕組み。
CleanやIdrisなどで使用される（Rustのムーブセマンティクスも基本はこれ）。
Uniqueness Types — Idris 1.3.3 documentation
1回だけから任意のn回だけ使用できる、にすると線形型（Linear Type/Affine Type）になる
変数やリソースが一度だけ使用されることをコンパイル時に確定できる仕組み。
CleanやIdrisなどで使用される（Rustのムーブセマンティクスも基本はこれ）。
Uniqueness Types — Idris 1.3.3 documentation
1回だけから任意のn回だけ使用できる、にすると線形型（Linear Type/Affine Type）になる