自由定理的好介绍 [英] Good introduction to free theorems

问题描述

我偶然发现了一个好主意：功能语言中的>自由定理。然而，我能找到的唯一资源是Wadler的文章定理免费。这是相当不错的，但它绝对不是一个教程，也很难让我接受（我了解了它的一半，它需要我花费很多时间）。你能推荐另一篇面向熟悉函数式编程的软件开发人员而不是硬核功能语言研究人员的文章或教程吗？

谢谢。

解决方案

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://hckage.haskell.org/package/free-theorems-counte rexamples

I stumbled upon a nice idea of free theorems in functional language. However, the only resource I was able to find is Wadler's article "Theorems for Free". It's quite good but it definitely not a tutorial and hard for me to get through (I understood about half of it and it required for me to spend quite a lot of time). Can you recommend me another article or tutorial which is oriented towards a software developer familiar with functional programming instead of hard core functional language researcher?

Thanks.

解决方案

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

(Also in typeclassopedia Section 3.3)

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

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

这篇关于自由定理的好介绍的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！