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