Skip to content

Instantly share code, notes, and snippets.

@tonymorris

tonymorris/gist:aff069c7decd2bb4482a

Last active August 29, 2015 14:06
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 tonymorris/aff069c7decd2bb4482a to your computer and use it in GitHub Desktop.
Save tonymorris/aff069c7decd2bb4482a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.rst

Parametricity, or Theorems for Free

Say more by saying less. Learn how parametric types, when used in conjunction with an adequately strong type system, help the programmer comprehend code by invalidating candidate programs. Parametricity helps the programmer by enabling deduction of theories about what a program cannot do, sometimes to the point of leaving no ambiguity.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment