Haskell 循环定义中断

Question

大家好，我遇到了一件奇怪的事情，试图在 Haskell 中学习循环定义。我们有这两种情况：

module Main
where    
  mgood = 1:head (tail (tail mgood)):mgood

  list = take 10 mgood

  main = do

       print list

对于上面的代码，我得到了这个输出 [1,1,1,1,1,1,1,1,1,1] 我明白为什么但问题出在这段代码中：

module Main
where
  mbad = 1:head (tail (tail (tail mbad))):mbad

  list = take 10 mbad

  main = do

       print list

我在哪里得到这个输出 [1, {Interrupted!}。谁能解释一下为什么会发生这种情况以及这两种情况有什么区别？

Answer 1

您的两个定义都符合result = foo : bar : result 模式。所以我们最终得到的，在这两种情况下，都是一个看起来像这样的循环列表：

foo : bar : foo : bar : foo : bar : ...

在这两种情况下foo 是1，所以它不依赖于其他任何东西。但是bar 可以。

在mgood 中，您将bar 定义为等于列表的第三个元素，因此bar 等于foo，即1。所以foo 和bar 都是1，这就是你得到的：1s 的无限列表。

在mbad 中，您将bar 定义为等于第四个 元素。所以bar 等于它自己。在尝试评估 bar 时，bar 的这种无限递归定义会导致无限循环。