1

我有一个 id 的批次（子列表）列表，我想遍历这个列表并为这批 id 中的每个 id 生成一个工作进程。这些工作人员中的每一个都将查询一些服务，获取结果并将其发送回调用者。简而言之，我想将 s 列表映射id到通过这些ids 获得的数据列表。我设法做到了这一点，但我相信这是一种单一的方式：

lists:map(fun(Ids) ->
Pids = [spawn_link(fun() ->
    Result = [...] % Here goes a side-effect operation (http request)
    Self ! {received_data, process(Result)}
end) || Id <- Ids],
[receive {received_data, Data} -> Data end || _Pid <- Pids],
end, JobChunks)))

在这种情况下，如您所见，我滥用map功能，因为它被设计为无副作用。但我没有看到其他选择。有，foreach()但它仅用于运行副作用并仅返回ok，而在我的情况下，我也想保留列表的形状。在 Haskell 中有一个方便的类型类Traversable，其traverse功能正是这样做fmap的：运行并同时允许您对每个项目执行操作（效果）。Erlang中有类似的东西吗？（smap也许像？）。

4

2 回答 2

3

与 Haskell 不同，Erlang 不是一种纯函数式编程语言。作为推论，它没有对功能是否可以产生副作用进行限制。Traversable在 Haskell 中，即使 I/O 子系统也无法破坏其纯度，这就是为什么在和Functor(traverse和)之间存在类型级别的区别，fmap前者可以对容器的每个元素运行效果，而后者不能。在 Erlang 中没有这么明显的区别，因此，您可能有一个函数execute(Container) ->，但您不知道它是否会运行效果，只需凝视它的签名。这就是为什么拥有map和smap（或traverse，或任何你称之为的）在 Erlang 中没有意义，也不会带来任何价值。但是，使用lists:map这种操作确实违反了map应该是纯函数的契约。在这种情况下，我可能会建议您使用列表理解，在我看来这是一种更惯用的方式：

[begin
    Pids = [spawn_link(fun() ->
        % Side-effect operation which worker performs
    end) || Id <- Ids],
   [receive {received_data, Data} -> Data end || _Pid <- Pids]
end || Ids <- JobChunks].

同样，在我自己的观点中，副作用是列表推导和lists:map(). 当它们以上述方式使用时，我通常认为它们是 Haskell 的单子理解。

于 2018-11-04T18:24:18.277 回答
1

我喜欢@Oleksandr 的回答，但是在列表理解中使用 begin..end 块感觉有点脏。我会为此使用函数。

同样重要的是要注意，他的回答的第二部分并不能保证尊重原始列表的顺序（即它只会具有相同的元素#，但它们将根据它们到达的顺序进行排序）。这对您来说可能没问题，但如果您希望能够匹配输入（ID）和输出（结果），您必须使用选择性接收，我将在下面向您展示。

所以，这就是我在没有 OTP 的情况下实现它的方式（因为你也没有使用 OTP）：

your_function() ->
    [process_chunk(Ids) || Ids <- JobChunks].

process_chunk(Ids) ->
    Pids = [spawn_side_effect_fun(Id) || Id <- Ids],
    [get_result_for(Pid) || _Pid <- Pids].

spawn_side_effect_fun(Id) ->
    Self = self(),
    spawn_link(fun() ->
        Self ! {received_data, self(), your_side_effect_operation()}
    end).

get_result_for(Pid) ->
    receive
        %% Here we're pattern-matching on Pid
        %% so that we get the result for this particular Pid
        %% therefore the order is preserved in the final list.
        {received_data, Pid, Data} -> Data
    end.

同样重要的是要注意您在这里没有处理任何错误。由于您没有捕获出口，因此衍生进程中的错误只会杀死主要进程。

于 2018-11-05T11:45:37.827 回答