cats-workshop

This repo contains the code from our 2022 cats workshop.

Sections

1. Implicit resolution (arguments, conversions, classes, ambiguity, priority)
2. Type variance (covariance, contravariance, invariance)
3. Type-class pattern (examples: show, eq, sum)
4. Transformers for nested structures (OptionFuture, EitherFuture)
5. Tagless-Final pattern (effect-polymorphism, OptionT, EitherT, type-lambdas, kind-projector)
6. Cats (Semigroup, Monoid, Functor, Bifunctor, Applicative, Monad, bonus-tips)
7. Composing independent values (Product as a simplified version of Cats' Applicative)
8. Traverse (dealing with collections of effectful ("wrapped") values)
9. Nothing (tips for special cases involving Nothing)

Recordings:

• Sections 5-6: https://drive.google.com/drive/folders/1o831HswRcGU9I8NRap-Y_vz4zzsBVknU
• Sections 7-9: https://drive.google.com/drive/folders/1XNq6n6SU5Dtdqphp7xz7dsctQTjXqscJ