Skip to content

Instantly share code, notes, and snippets.

@zetter
Created October 9, 2017 08:39
Show Gist options
  • Save zetter/bd13ed367d0f9f5764160968cc33a474 to your computer and use it in GitHub Desktop.
Save zetter/bd13ed367d0f9f5764160968cc33a474 to your computer and use it in GitHub Desktop.
Subtyping
There was a programmer from Skegness,
Who had a language that was a bit of a mess,
They implemented subtyping, and no longer was there griping,
All while keeping safety, preservation and progress
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment