哪里是了解箭头的好地方?理想情况下,我只是在寻找一些具有简洁定义的地方,并从一些很好的例子中得到启发,类似于瓦德勒对单子的阐述。
http://en.wikibooks.org/wiki/Haskell/Understanding_arrows
我发现休斯的原始论文(“将单子概括为箭头”)相当容易理解。 您可以在这里阅读它的旧草稿。 它与原始论文有一些差异,这些差异在 Ross Patterson 自己的 Arrows 概述的参考书目页面中注明。
如果您从实践中学到的东西比理论学得更好,请尝试使用 HXT 进行 XML 操作,或使用 PArrows 进行一般解析。 它们都有以箭头为中心的 API。