我偶然发现了函数式语言中自由定理的好主意。但是，我能找到的唯一资源是 Wadler 的文章“免费定理”。它非常好，但它绝对不是一个教程，我很难通过（我理解了大约一半，这需要我花费很多时间）。您能否向我推荐另一篇面向熟悉函数式编程的软件开发人员而不是硬核函数式语言研究人员的文章或教程？
谢谢。
问问题
5800 次
1 回答
29
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
于 2012-09-14T11:04:00.263 回答