Bonne introduction aux théorèmes libres

Question

Je suis tombé sur une bonne idée de free theorems en langage fonctionnel. Cependant, la seule ressource que j'ai pu trouver est l'article de Wadler "Theorems for Free". C'est assez bon mais ce n'est certainement pas un tutoriel et difficile à passer (j'en ai compris environ la moitié et cela m'a demandé de passer beaucoup de temps). Pouvez-vous me recommander un autre article ou un tutoriel qui est orienté vers un développeur de logiciels familier avec la programmation fonctionnelle au lieu de noyau dur chercheur de langage fonctionnel?

Merci.

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

(également dans typeclassopedia Section 3,3)

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

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