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