Buona introduzione ai teoremi gratuiti

Question

Mi sono imbattuto in una buona idea di free theorems in linguaggio funzionale. Tuttavia, l'unica risorsa che sono riuscito a trovare è l'articolo di Wadler "Theorems for Free". È abbastanza buono, ma sicuramente non è un tutorial e difficile da superare (ne ho capito circa la metà e mi è stato necessario dedicare molto tempo). Potete consigliarmi un altro articolo o tutorial orientato verso uno sviluppatore di software che abbia familiarità con la programmazione funzionale invece che con un ricercatore di linguaggi funzionali di base?

Grazie.

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

(anche in typeclassopedia Sezione 3,3)

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

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