From 8bf1cbe2a36cde06ec212b472c7e6b27547c72bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
 =?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Sun, 12 Jan 2025 09:27:53 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-01-12 09:27:53[

---
 content/Clean.md  | 12 ++++++++++++
 content/一意型.md | 14 ++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 content/Clean.md
 create mode 100644 content/一意型.md

diff --git a/content/Clean.md b/content/Clean.md
new file mode 100644
index 00000000..6a90aed6
--- /dev/null
+++ b/content/Clean.md
@@ -0,0 +1,12 @@
+---
+date: 2025-01-12 09:09
+---
+#programming-language 
+
+[Clean](https://wiki.clean.cs.ru.nl/Clean)
+
+[[遅延評価]]の関数型プログラミング言語。
+
+副作用を扱うのに、[[Haskell]]では[[モナド]]を使ったのに対し、[[一意型]](Uniqueness Type)というのを使用する
+
+[Clean 一意型 調査メモ #Haskell - Qiita](https://qiita.com/7shi/items/ab3b819871d7b0710949)
diff --git a/content/一意型.md b/content/一意型.md
new file mode 100644
index 00000000..faee86a4
--- /dev/null
+++ b/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)
+
+