We will look into three less-understood, yet (arguably) extremely useful constructs introduced in Cats Effect 3: Dispatcher, Supervisor, IOLocal

We will look into three less-understood, yet (arguably) extremely useful constructs introduced in Cats Effect 3: Dispatcher, Supervisor, IOLocal. Some updates to Dispatcher and Supervisor are as recent as the 3.4 release of CE3. A user looking at the interfaces in isolation may struggle to immediately justify their need. We will start off from another end: present 3 use cases we personally encountered in our code and then solve them using the right tool.
Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful