Matsuura Tomoya(Windows)
b595629042
All checks were successful
Build / build (push) Successful in 8m41s
15 lines
574 B
Markdown
15 lines
574 B
Markdown
#programming-language
|
||
|
||
[[Rust]]におけるTraitとかに近いもの
|
||
|
||
あるメソッド群を持つジェネリックな型の分類
|
||
|
||
パラメトリックなジェネリクスに対して、対象が広すぎるものを、アドホック多相的に制限する
|
||
|
||
["Hackett: a metaprogrammable Haskell" by Alexis King - YouTube](https://youtu.be/5QQdI3P7MdY)
|
||
|
||
この動画の説明わかりやすかった（12:10～）
|
||
|
||
式をもとに型を生成するのが[[型推論]]、型情報をもとに式を生成するのがジェネリクスというループ
|
||
|
||
[[Hackett]] |