3 ms·

> Natural transformations between functors gives you parametricity and "theorems for free" Could you elaborate? This is something everyone always talks about b

by ihm 12y ago

> Natural transformations between functors gives you parametricity and "theorems for free" Could you elaborate? This is something everyone always talks about but I've never really seen a proof/precise statement.

gclaramunt 12y ago
The "Theorems for free" paper is here: http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf ( I guess is the most precise you can get :) )