If you're someone for whom code speaks louder than words, here's a branch to ponder: https://github.com/typelevel/cats-effect/tree/ce3
The following is a proposal for Cats Effect 3, collaboratively devised over the last few months by several of the maintainers and contributors to the library. I will frequently use first-person in this document (because I'm lazy), which is posted under my name (ditto), but it really was a joint effort. As with any joint effort, there has definitely been some healthy debate about several of the concepts in this proposal. For reference, these are the things we're the least sure about:
Concurrent
now takes two type parameters, and thus is somewhat less ergonomicRegion
has been added, along with some complex associated machinery- One component of that machinery is the
Safe.Case
type
- One component of that machinery is the
- Several existing laws are retained (such as
Sync
being stack-safe)