Arrows在行动中有最先进的例子吗？

Question

我最近一直在阅读关于arrows这个10多年前发明的概念。与monad相比，它允许获得更多关于计算的静态信息，同时仍具有取决于先前计算的计算能力。

但是我无法在最近最先进的图书馆中找到它们。例如，attoparsec甚至没有Arrow实例，即使箭头旨在加速解析。

在当前开发的库或可执行文件中是否有一些很好的Arrows示例，它们带来了性能或其他好处？

（我知道这是一个软问题 - 我的目标是更好地理解这个概念及其优点。）

Answer 1

this tutorial结帐opaleye。箭头被广泛使用（除了成员之外）。该库提供了一种编写可组合的，类型安全的Postgres查询的方法。我没有太多使用它的经验，但它似乎是一个设计良好的库，如果你在后端使用Postgres，它应该是一个很好的选择。 Ben Kolera对图书馆here有一个很好的视频介绍。