最近、関数型 Scala 界隈で物議を醸していたプレゼン『The Death of Final Tagless』と、その関連ブログ記事で紹介されていた ZIO Environment について。 ZIO の形 簡略化すると以下のような型になる。 trait ZIO[-R,...