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

Janis Voigtländer jv at informatik.uni-bonn.de
Wed Mar 3 23:13:35 EST 2010

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.


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

More information about the Haskell-Cafe mailing list