Hacker News new | ask | show | jobs
by type_enthusiast 1948 days ago
ZIO (the core library) is not really a framework. It's still a library for an IO monad – it's just a pretty different IO monad, in that it absorbs environment (e.g. `ReaderT`) and error (e.g. from `MonadError`) into one data type, and the cases where you don't care about one of those are just type aliases. And it makes use of variance to give (usually) really ergonomic operations on these things. Disclaimer: I use it, and I'm a fan – I'll leave it up to the docs to really sell it; just wanted to take issue with the "framework" notion.

That being said, the sum of the ZIO _ecosystem_ is absolutely a framework, for better or worse.