Elixirで再帰　リストと関数を引数にとる関数の仕組みが分かりません

前提・実現したいこと

『プログラミングElixir』を使用してElixirを勉強しています、初学者です。

このコードの処理の流れがが理解できません。

defmodule Mylist do
  def mapsum([], _), do: 0
  def mapsum([head|tail], func), do: func.(head) + mapsum(tail, func)
end

↓の例のように処理の流れを教えていただきたいです。

defmodule Mylist do
  def len([]), do: 0
  def len([head | tail]), do:  1 + len(tail)
end

# 例
Mylist.len([1,2,3])

len([1,2,3]) do 1 + len([2,3])
len([2,3])   do 1 + 1 + len([3])
len([3])     do 1 + 1 + 1 + len([])
len([])      do 1 + 1 + 1 + 0

= 3

初歩的な質問で恐縮ですが、よろしくお願いいたします

行動規範の内容に同意します

回答1件

ベストアンサー

iexを使って対話的に実行しながら処理の流れ図を描くと理解しやすいかもしれません。今回は順に説明しますので、次回からはぜひご自身で解いてみてください。

ここではmapsumを以下のように使います。

iex
1iex> Mylist.mapsum([1, 2, 3], &(&1 * &1))
214

Mylist.len([1,2,3])の図を参考にmapsumの処理の流れ図を描いてみましょう。func.(head)の部分がどうなるのかはいまは考えず、そのままfunc.(1)のようにしておきます。

elixir
1mapsum([1,2,3], &(&1 * &1))  do func.(1) + mapsum([2,3], &(&1 * &1))
2mapsum([2,3], &(&1 * &1))    do func.(1) + func.(2) + mapsum([3], &(&1 * &1))
3mapsum([3], &(&1 * &1))      do func.(1) + func.(2) + func.(3) + mapsum([], &(&1 * &1))
4mapsum([], &(&1 * &1))       do func.(1) + func.(2) + func.(3) + 0

つぎにfunc.(head)の部分をiexで試してみましょう。&(&1 * &1)は1つの引数をとり、その自乗を返します。

iex
1iex> func = &(&1 * &1)
2iex> func.(1)
31
4iex> func.(2)
54
6iex> func.(3)
79

先ほどの処理の流れ図に戻ってfunc.(X)の答えを書き加えれば完成です。

elixir
1mapsum([1,2,3], &(&1 * &1))  do func.(1)         + mapsum([2,3], &(&1 * &1))
2                                1                + mapsum([2,3], &(&1 * &1))
3mapsum([2,3], &(&1 * &1))    do 1 + func.(2)     + mapsum([3], &(&1 * &1))
4                                1 + 4            + mapsum([3], &(&1 * &1))
5mapsum([3], &(&1 * &1))      do 1 + 4 + func.(3) + mapsum([], &(&1 * &1))
6                                1 + 4 + 9        + mapsum([], &(&1 * &1))
7mapsum([], &(&1 * &1))       do 1 + 4 + 9 + 0
8
9= 14