在哈斯克尔的箭头博览会

Question

什么是理解箭头的好地方？理想情况下,我只是在寻找一些简洁定义的地方,并从一些好的例子中得到动机,类似于Wadler对monad的阐述.

Answer 1

http://en.wikibooks.org/wiki/Haskell/Understanding_arrows

Answer 2

我发现休斯的原始论文（“将单子概括为箭头”）相当容易理解。您可以在这里阅读它的旧草稿。它与原始论文有一些差异，这些差异在Ross Patterson 自己的《Arrows》概述的参考书目页面上有注释。