はてなブログに投稿しました #はてなブログ 関数型言語で登場する高カインド型(Higher-Kinded Types; HKT) と(* -> *) -> *みたいなやつの早わかりメモ - Lambdaカクテル Scalaでhigher-kinded typesと言い出した本人？少なくとも当時にそう呼ばれる機能の実装と理論(Generics of a Higher Kindという2008年論文)に…