tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Matsuura Tomoya(Windows)
2025-07-22 23:44:33 +09:00
parent 5de1ed25fd
commit 72c2d63570
2 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
content/Hackett.md Normal file
View File

@@ -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)

3
content/型クラス.md
View File

@@ -10,3 +10,6 @@
この動画の説明わかりやすかった（12:10～）
式をもとに型を生成するのが[[型推論]]、型情報をもとに式を生成するのがジェネリクスというループ
[[Hackett]]