[Haskell-cafe] Free theorem - what do we need it for

[Janis Voigtländer]

Maciej Piechotka wrote:

> I am afraid that I fail to see practical benefits (I mean that I don't
> know all implication not that I think there is no benefits).
> What are the benefits of free theorem except large chance that data will

Lots of applications. See page 34 (along with the references starting
from page 218) of http://www.iai.uni-bonn.de/~jv/ppl2010-slides.pdf for
a list of some of them.

Ciao,
Janis

-- 
Jun.-Prof. Dr. Janis Voigtländer
http://www.iai.uni-bonn.de/~jv/
mailto:jv at iai.uni-bonn.de