Lambdaカクテル
id:Windymelt
CatsのKleisliについて勉強したメモ
こんな記事を読んだ。 zenn.dev この記事の中にKleisliという概念が登場する。自分は圏論の専門家ではないのでKieisli圏の話ではなく、Catsを使ってKleisliを扱う方法、どう便利なのかについて勉強したことをまとめてみる。 flatMapの中身 Kleisliとは以下のような定義である: Kleisli[F[_], A, B] = A => F[B] そう、ただ…