Past Meetup

Subtyping Variance and Functor Variance

This Meetup is past

19 people went


Come get your type theory on with Michael Pilquist, who will be presenting a talk exploring subtyping variance and functor variance, including:
- A review of subtyping invariance and functor variance
- Functor typeclass and its relation to covariant subtyping
- Contravariant functor typeclasses, and their relation to contravariant subtyping
- Invariant functor typeclasses
- Profunctor typeclasses

See all Meetups from Philly Lambda