Cats-effect library lets us implement modules parameterized with an abstract effect F bounded by Sync, Async, etc capabilities, i.e. not choose a concrete effect monad until the very end of the universe.

In opposite, AFAIU, John's approach is different. We still describe our algebras with F, but have to implement modules with IO (zio), which doesn't let us easily migrate to a different IO monad later with a simple replace in the Main class.

Does John consider it as a weak side of zio? Or such a lib is not even needed if you use the best io impl like ZIO? )))

I know he has proposed some ideas for Cats Effect 2.0. Does he believe he'll be heard by Nedelcu & co?
Cats Effect 2.0 Design Discussion

Библиотека Cats-effect позволяет реализовывать модули, параметризованные с помощью абстрактного эффекта F, ограниченноговозможностями Sync, Async и т.д, т.е библиотека позволяет откладывать выбор конкретногоэффекта до самого конца.

Подход Джона противоположный, он описывает алгебры с помощью Fно заставляет реализовать модули с конкретным IO (zio), что не позволяет легко мигрировать на другую монаду.

Считает ли Джон, что это недостаток zio? Или ZIO настолько хорошая имплементация IO, что другие библиотеки не нужны?

Как известно, он предложил несколько идея для Cats Effect 2.0. -верит ли он, что будет услышаны Nedelcu & co ?


Patreon https://www.patreon.com/scalalalaz


Hosts:Oli Makhasoeva,John De Goes