ScalaのHigher kinded typesを調べてみた*Qiitaに掲載していたものと同じ内容をこちらに移転しました（作者は同じです）。 社内勉強会でproperな型, kindなどの言葉を耳にしたので、ちょっと自分なりに調べてみた。 この記事ではあくまでも雰囲気を理解するためのものであり、厳密な説明はしてないのであしからず。 キーワード 調べた際のキーワードは以下 higher-kinded type Higher-kind Generics type constructor parameter *それぞれほぼ同じ意味だけど、呼び方がいろいろあるらしい...（統一して） 型表現の抽象度 型にも抽象度がある（と、自分は勝手に思ってるだけで、厳密な定義方法はちょっとよく分からん）。 どういうことか？具体から抽象へと少しずつ階段を登っていくことにしよう。 具体 例えば、1や"hello" というのは、それそのものは非常に具体的な値をもつ。 具体的
