Understanding Scala Variance
If an AuthedUser is a User, when is an F[AuthedUser] an F[User]? Or the reverse? The answer lies in variance. This talk discusses Scala’s four types of variance, and dives into some of the design issues that guided the development of Cats. Ross Baker (@rossabaker) |