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

content/一意型.md

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