u/ResidentAppointment5in r/scala • Recommends
On “Why Typelevel hates ZIO?”
Let me recommend watching Programming Without Type Classes. IMO, /u/jdegoes does a characteristically excellent job of explaining the goals, and therefore the architecture, of the ZIO ecosystem. In particular, he lays out some information about how the ZIO ecosystem strives to retain the reasoning ability those of us in the Typelevel ecosystem appreciate about the type classes we've come to know and love (or know and loathe...) while also retaining the ZIO ecosystem's distinctive "pure FP the native Scala way" and what I'll loosely call its "batteries included" philosophy, by which I mostly mean that the actual `ZIO` type constructor combines aspects of what, in the Typelevel ecosystem, we…