ZIO Environment 〜 Tagless Final の後継？ - Qiita

最近、関数型 Scala 界隈で物議を醸していたプレゼン『The Death of Final Tagless』と、その関連ブログ記事で紹介されていた ZIO Environment について。 ZIO の形 簡略化すると以下のような型になる。 イメージ的には、Cats Effect の IO[A] に環境型 R とエラー型 E を追加した型、あるいは ReaderT[EitherT[IO, E, ?], R, A] を一つの型にしてモナドトランスフォーマーのパフォーマンス劣化を除いたような型。bifunctor IO の BIO[E, A] に R を加えた形になるので trifunctor というワードが出ることもある1。 既存の型に似せた下のような型エイリアスも提供されている。 エイリアス ZIO memo

[hasiduki]

なんかすごそう！！！！勉強になるーー！！！！

[den8]

“なので「環境+エラー+非同期並行を併せ持ったハイブリッドでハイパフォーマンスなモナド」くらいの感覚で扱うスタンスで、差し当たりは良いのでないかと思う。”