在Haskell中的箭头说明

在Haskell中的箭头说明

exposition on arrows in haskell

什么是去了解箭头的好地方? 理想情况下,我只是从一些好的例子中寻找一个具有简洁定义的地方,这与沃德勒对单子的解释类似。


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


我发现休斯的原始论文("将Monads泛化为箭头")相当容易获得。 您可以在此处阅读旧版草稿。 它与原始论文有所不同,后者在罗斯·帕特森(Ross Patterson)自己的《箭》概述的参考书目页面上有所记录。


如果您从实践中学到的知识比从理论中学到的更多,请尝试使用HXT进行XML操作,或使用PArrows进行常规分析。 它们都具有以箭头为中心的API。


推荐阅读