Skip to content

Instantly share code, notes, and snippets.

@zetter

zetter/subtyping.txt

Created October 9, 2017 08:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zetter/bd13ed367d0f9f5764160968cc33a474 to your computer and use it in GitHub Desktop.
Save zetter/bd13ed367d0f9f5764160968cc33a474 to your computer and use it in GitHub Desktop.
Download ZIP
Subtyping
Raw
subtyping.txt
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