functional-programming - 递归和尾调用优化示例

Question

我正在尝试学习 Elixir 和函数编程，但在理解 Elixir in Action 一书中的这个例子时遇到了困难。

defmodule ListHelper do
  def sum([]), do: 0
  def sum([head | tail]) do
    head + sum(tail)
  end
end

ListHelper.sum([12,3,4])

它的返回值为 19，但我不明白这些值是如何累积的。

我以为 head 会不断更新，然后当模式与 [] 匹配时，累积的 head 将被添加到 0 并且该函数将退出，但是之后玩它我现在认为这不是正在发生的事情。有人可以为这个例子中发生的事情提供另一种解释吗？如果我需要解释更多，我可以尝试重新访问它。

Answer 1

sum([head | tail]) 是 head + sum(tail)，所以 sum([12,3,4]) 是 12 + sum([3,4])，sum([3,4]) 是 3 + sum([4]) 和 sum([4]) 是 4 + sum([])。 sum([]) 是 0，所以我们总共得到:

sum([12,3,4]) = 12 + sum([3,4])
              = 12 + 3 + sum([4])
              = 12 + 3 + 4 + sum([])
              = 12 + 3 + 4 + 0
              = 19

---

sum 的递归调用不是尾调用，因此此处不会发生尾调用优化。要使其成为 TCO，需要递归调用 sum 成为最后一个。

defmodule ListHelper do
  def sum([], acc), do: acc
  def sum([head | tail], acc),
    do: sum(tail, acc + head)
end

ListHelper.sum([12,3,4], 0)
#⇒ 19