エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ScalaのHigher kinded typesを調べてみた
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ScalaのHigher kinded typesを調べてみた
*Qiitaに掲載していたものと同じ内容をこちらに移転しました(作者は同じです)。 社内勉強会でproperな... *Qiitaに掲載していたものと同じ内容をこちらに移転しました(作者は同じです)。 社内勉強会でproperな型, kindなどの言葉を耳にしたので、ちょっと自分なりに調べてみた。 この記事ではあくまでも雰囲気を理解するためのものであり、厳密な説明はしてないのであしからず。 キーワード 調べた際のキーワードは以下 higher-kinded type Higher-kind Generics type constructor parameter *それぞれほぼ同じ意味だけど、呼び方がいろいろあるらしい...(統一して) 型表現の抽象度 型にも抽象度がある(と、自分は勝手に思ってるだけで、厳密な定義方法はちょっとよく分からん)。 どういうことか?具体から抽象へと少しずつ階段を登っていくことにしよう。 具体 例えば、1や"hello" というのは、それそのものは非常に具体的な値をもつ。 具体的