Basics of subtyping
In this episode, I discuss a few of the basics for what we expect from a subtyping relation on types: reflexivity, transitivity, and the variances for arrow types.
Explore " contravariance" with insightful episodes like and "Basics of subtyping" from podcasts like " and "Iowa Type Theory Commute"" and more!
In this episode, I discuss a few of the basics for what we expect from a subtyping relation on types: reflexivity, transitivity, and the variances for arrow types.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io