并发数据访问(如Haxl和Stitch )

Question

这是对我上一次问题的跟进。

正如我从哈塞尔和针迹了解到的那样，它们使用单一的方式进行数据访问。monad实际上是一棵数据访问命令树。子节点是节点所依赖的命令。兄弟姐妹同时执行。

业务逻辑创建monad，然后一个单独的函数fetch对其进行解释。

现在，问题是:假设我同时执行一些数据访问操作。我可以使用一个应用程序函子(不是monad)，它只是命令列表(不是树)。

说得通吗？如果列表包含重复的命令怎么办？

Answer 1

我认为通过构造Fetch值，避免了重复相同查询的可能性，即使在同一轮查询中(当它们是您所说的“兄弟姐妹”时)。如果您查看本文，图4解释了dataFetch的实现，它是Fetch值的构造函数。它说明了三种可能性：

1. 这个请求以前从未提出过。
2. 这一请求以前已经提出过，而且已经完成。
3. 这一请求以前已经提出过，但尚未完成。

在最后一种情况下，您将注意到返回的值有一个空的BlockedRequest序列，因为在本例中，其他一些Blocked fetch有它。这样，当用这个值调用ap函数时，它将不会连接相同的重复请求。

顺便说一下，我一直试图在Scala 这里中实现Haxl。