Contravariance
Point-Free Videos
English - June 12, 2018 09:57 - 38 minutes - 51.9 MB Video - ★★★★★ - 2 ratingsTechnology Education programming development mobile ios functional swift apple developer software engineering server Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Algebraic Data Types: Generics and Recursion
Next Episode: NonEmpty
Subscriber-Only: Today's episode is available only to subscribers. If you are a Point-Free subscriber you can access your private podcast feed by visiting https://www.pointfree.co/account.
---
Let's explore a type of composition that defies our intuitions. It appears to go in the opposite direction than we are used to. We'll show that this composition is completely natural, hiding right in plain sight, and in fact related to the Liskov Substitution Principle.