I used to think all abstractions were leaky until someone explained parametric polymorphism and free theorems to me. http://ttic.uchicago.edu/~dreyer/course/pa

I used to think all abstractions were leaky until someone explained parametric polymorphism and free theorems to me. http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf Every programmer or computer scientist should read that paper. Wadler is clear enough that even without knowing typed lambda calculus, you can understand his point.