Cats のデータ型覚え書き(Validated ~ Either との使い分けなど ~) - Qiita

はじめに 前回は Cats のデータ型覚書(NonEmptyList)という記事を投稿しました。 今回は Cats に定義されている Validated というエラーを累積するタイプのデータ型と、標準のエラーに関するデータ型である Either との比較を交えつつ見ていきます。 まず cats の公式ページを読む typelevel の cats の公式ページの Validated に関するページは以下になります。 めちゃくちゃざっくり要約すると Either との違い・類似点・相互変換について Applicative だけど FlatMap ではないという話 andThen, withEither 関数の紹介 が書かれていました。 Either, Validatedの使い分け これらの似たようなデータ型はどのように使い分けるのが良いでしょうか。 まずは、それぞれの性質について考えてみまし

[roshi]

バリデーションのよくある事例での解説だから分かりやすかった。