ScalaのF[_]と高カインド型(Higher Kinded Type)を完全に理解していく - k.dev

はじめに Scalaはなんとなく書けるようになったけどライブラリコードとか読めないし、関数型はもっとわかない。 特にF[_]みたいなやついっぱい出てくるけどなに？みたいな人に捧げる記事です。 このようなものは高カインド型などと呼ばれ、なかなか理解が難しいものです。 型のさらなる抽象化の旅に出ましょう。 これはUnderstanding F[_] in Scalaの日本語訳です。 F[_]とかいうすごい抽象的なシンタックスはScalaのあちこちで目にします。 これを直感的に理解して、その意味と使い方がわかるようになりましょう。 Overview この記事の目標はこのシンタックスがなぜ必要か理解することです。 そのために抽象化のはしごをだんだんと上り、次のような疑問に答えていきます。 valueとは？ proper typeとは？ first-order typeとは？ first-order