The collection of slow readings with a deep-dive explanations on some topics of Я.

It’s recommended to read it in the order they are listed here.

Theoretical foundations:

  1. Natural transformation as a basis of control
  2. What makes a Functor feel like Hom?
  3. Using Yoneda lemma for flipping notation
  4. Bind and traverse with Kleisli morphisms
  5. Context-free effects with Monoidal functors
  6. Push it to the limit!
  7. Adjoint functors

Implementation details:

  1. Why should we label effects?
  2. Structural wrapper subtyping
  3. Reinventing records and variants