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
