Cats 入門2(高カインド型) Cats と、 Cats の解説 PDF 「Advanced Scala with Cats」の紹介その2です。 その 1 は こちら です。 今回は 高カインド型の型クラスを中心に紹介していきます。 Functor, Applicative, Monad, Foldable など覚えておくととても役に立つものばかりです。 高カインド型(Higher Kind Type)とは 高カインド型の説明の前に次のコードを見てみます。 val stringList:List[String] = List("A") var intList:List[Int] = List(1) 上記の stringList と intList は List[A] の A の部分にそれぞれに String と Int という型を与えて、 List[A] から List[String]

