前々から「C++ でいうところの concept という概念は,(Generic) Haskell では "kind system" と呼ばれている」とゆ〜のをちらほら目にしていて,"kind system" とゆ〜のが気になっていて仕方なかったのでお勉強してみようと web で資料を漁ってみるテスト.
http://www.cs.uu.nl/~andres/ExploringGH.pdf
……うむ.久しぶりに凄いものを読んでいる気がする.
何が凄いって,読んでいて全く意味が分からないのが凄い.
……っていうかコードどこ?