Jason (jcreed) wrote,
Jason
jcreed

I realized that the contravariance in function subtyping --- that if A is a subtype of B, then B → C is a subtype of A → C --- is something we all encounter reasonably often in ordinary life, when we think of dietary restrictions such as vegetarianism. Here is that thought in the form of a hastily-drawn just-barely-interactive javascript mouseover toy: (click to go to demo)

I think this serves as a nice real-world anchor for the abstract concepts involved, much like the idea of drinking-age does for the Wason selection task.
Tags: food, types
Subscribe

  • (no subject)

    More things to add to the "chord progressions that aren't cliches-I-already-know-about nonetheless covertly appearing in multiple places" file.…

  • (no subject)

    Consider the chord motion in Lights's "Cactus In The Valley" that happens around 49s in: v link goes here | F G C C | F G C C | F G Am D7 | F G…

  • (no subject)

    Cute little synth widget playground: https://blokdust.com/

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 13 comments

  • (no subject)

    More things to add to the "chord progressions that aren't cliches-I-already-know-about nonetheless covertly appearing in multiple places" file.…

  • (no subject)

    Consider the chord motion in Lights's "Cactus In The Valley" that happens around 49s in: v link goes here | F G C C | F G C C | F G Am D7 | F G…

  • (no subject)

    Cute little synth widget playground: https://blokdust.com/