[obsidian] vault backup: 2025-01-12 10:27:53[

content/一意型.md

@@ -5,10 +5,9 @@ date: 2025-01-12 09:13
 
 変数やリソースが一度だけ使用されることをコンパイル時に確定できる仕組み。
 
-
-
-[[Clean]]や[[Idris]]などで使用される（[[Rust]]のムーブセマンティクスも基本はこれだと思う）。
+[[Clean]]や[[Idris]]などで使用される（[[Rust]]のムーブセマンティクスも基本はこれ）。
 
 [Uniqueness Types — Idris 1.3.3 documentation](https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html)
 
+1回だけから任意のn回だけ使用できる、にすると[[線形型]]（Linear Type/Affine Type）になる