自由定理的良好介绍

Question

我偶然发现了函数式语言中自由定理的一个好主意.然而,我能找到的唯一资源是Wadler的文章" 免费定理 ".这是非常好的,但它绝对不是一个教程,我很难通过(我理解了一半,我需要花很多时间).您能否向我推荐另一篇面向熟悉函数式编程而非硬核函数式语言研究员的软件开发人员的文章或教程？

谢谢.

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