[obsidian] vault backup: 2025-07-22 23:44:33[

2025-07-22 23:44:33 +09:00
parent 08a1cc5b30
commit b595629042
2 changed files with 12 additions and 0 deletions
--- a/content/Hackett.md
+++ 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)
+
+
--- a/content/型クラス.md
+++ b/content/型クラス.md
@@ -10,3 +10,6 @@

 この動画の説明わかりやすかった（12:10～）

+式をもとに型を生成するのが[[型推論]]、型情報をもとに式を生成するのがジェネリクスというループ
+
+[[Hackett]]