自由定理的良好介绍

Question

我在函数式语言中偶然发现了free theorems的好主意。但是，我能找到的唯一资源是Wadler的文章“Theorems for Free”。这是非常好的，但它绝对不是一个教程，我很难通过（我理解了一半，我需要花很多时间）。您能否向我推荐另一篇面向熟悉函数式编程而非硬核函数式语言研究员的软件开发人员的文章或教程？

感谢。

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

（同样在类词组第3.3节）

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

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