Type Classes

Type Classes

Share this post

Type Classes
Type Classes
Maybe death

Maybe death

Under a totalitarian regime, one avoids being partial.

Chris Martin's avatar
Chris Martin
Mar 09, 2019
∙ Paid
1

Share this post

Type Classes
Type Classes
Maybe death
Share

Imagine we are programs running in a computer. Computerland operates under a strict rule; if you so much as utter a single sentence that is nonsensical or ambiguous, you will be killed.

For example, these expressions will result in your prompt termination:

  • "colorless green ideas"

  • "the fifth letter in the word 'soup'"

If we come across a friend holding a box…

Keep reading with a 7-day free trial

Subscribe to Type Classes to keep reading this post and get 7 days of free access to the full post archives.

Already a paid subscriber? Sign in
© 2025 Mission Valley Software LLC
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share