对自由定理的很好介绍

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

（同样在typeclassopedia 3.3节）

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

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