循环模拟如何工作？

Question

-module(prac).

-export([len/1]).

len([]) -> 

   0;

len([_|T]) ->

   1 + len(T).

所以我有这段代码，它可以工作，但我不知道如何正确模拟它。

Answer 1

Erlang 有一个调试器调用im()

尝试使用它

Answer 2

好的，如果您想解释为什么代码会以这种方式工作，它会是这样的。给定以下代码：

len([])    -> 0;
len([_|T]) -> 1 + len(T).

如果你像len([a,b,c])一样调用len/1，那么你可以认为它执行如下：

• 致电len([a,b,c])
• [a,b,c] 是否匹配 []？没有
• [a,b,c] 是否匹配 [_|T]？是的，产生_ = a 和T = [b,c]
• 致电len([b,c])
  • [b,c] 是否匹配 []？没有
  • [b,c] 是否匹配 [_|T]？是的，产生_ = b 和T = [c]
  • 致电len([c])
    • [c] 是否匹配 []？没有
    • [c] 是否匹配 [_|T]？是的，产生_ = c 和T = []
    • 致电len([])
      • [] 是否匹配 []？是的
      • len([]) 返回 0
    • len([c]) 返回 1 + 0
  • len([b,c]) 返回 1 + 1
• len([a,b,c]) 返回 1 + 2

这有意义吗？