From b5956290427308aebd4d9adfe6fa30909570d3d4 Mon Sep 17 00:00:00 2001
From: "Matsuura Tomoya(Windows)" <me@matsuuratomoya.com>
Date: Tue, 22 Jul 2025 23:44:33 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-07-22 23:44:33[

---
 content/Hackett.md  | 9 +++++++++
 content/型クラス.md | 3 +++
 2 files changed, 12 insertions(+)
 create mode 100644 content/Hackett.md

diff --git a/content/Hackett.md b/content/Hackett.md
new file mode 100644
index 00000000..0dd2d3a0
--- /dev/null
+++ b/content/Hackett.md
@@ -0,0 +1,9 @@
+#programming-language 
+
+[[Racket]]上で実装された、静的型付けなうえで、型安全なマクロシステムを搭載したプログラミング言語
+
+[1 The Hackett Guide](https://lexi-lambda.github.io/hackett/guide.html)
+
+["Hackett: a metaprogrammable Haskell" by Alexis King - YouTube](https://www.youtube.com/watch?v=5QQdI3P7MdY)
+
+
diff --git a/content/型クラス.md b/content/型クラス.md
index df84b143..95eebda0 100644
--- a/content/型クラス.md
+++ b/content/型クラス.md
@@ -10,3 +10,6 @@
 
 この動画の説明わかりやすかった（12:10～）
 
+式をもとに型を生成するのが[[型推論]]、型情報をもとに式を生成するのがジェネリクスというループ
+
+[[Hackett]]
\ No newline at end of file