Buena introducción a teoremas libres

Question

Me encontré con una buena idea de free theorems en lenguaje funcional. Sin embargo, el único recurso que pude encontrar es el artículo de Wadler "Theorems for Free". Es bastante bueno, pero definitivamente no es un tutorial y me resulta difícil de entender (entendí la mitad y requirió mucho tiempo). ¿Me puede recomendar otro artículo o tutorial que esté orientado a un desarrollador de software familiarizado con la programación funcional en lugar de un investigador de lengua funcional funcional?

Gracias.

Answer 1

http://www.iai.uni-bonn.de/~jv/free-slides.pdf

http://daniel.yokomizo.org/2011/12/understanding-higher-order-code-for.html

http://arxiv.org/pdf/1107.1203.pdf

(También en typeclassopedia Sección 3,3)

http://hackage.haskell.org/package/free-theorems-seq

http://hackage.haskell.org/package/free-theorems-counterexamples