[Haskell-cafe] Free theorem - what do we need it for
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