Parametricity: Money for Nothing and Theorems for FreeParametricity: Money for Nothing and Theorems for Free Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Programming, Type System [13] Comments I’m not fond of arguments based on lack of imagination. “There’s no way this code may fail!” might be a sign of great confidence or the result of ignorance. The inability to come up with a counterexample doesn’t prove a the
