让Haskell中的递归

Question

可能有人解释这与下面的输入一小段代码的行为:[[1,2],[3,4]]？

infiniteList ls = let v = ls ++ v
                  in concat v

结果是一个无限的列表,但我没有意识到为什么.我明白了诀窍在于:

ls ++ v

但是,因为我们没有定义变量的初始值,所以如何正常工作v？

Answer 1

要评估v,只需将其替换为其定义:

v = ls ++ v
  = ls ++ ls ++ v
  = ls ++ ls ++ ls ++ v
  = ls ++ ls ++ ls ++ ls ++ v
  = ls ++ ls ++ ls ++ ls ++ ls ++ v
  = ls ++ ls ++ ls ++ ls ++ ls ++ ls ++ v

显然,这永远不会结束.