为什么循环函数不能处理空列表？
我在我的一些项目中使用了函数cycle，今天我发现它并不是一个完整的函数，如下面的GHCI示例所示：
λ> Data.List.cycle []
*** Exception: Prelude.cycle: empty list我知道Haskells尝试使用完全函数(除了基本函数head和tail之外)，我不完全确定为什么cycle不是其中之一。在我看来，空列表的cycle就是空列表，我不认为这有什么问题。为什么空列表的cycle会抛出错误？
编辑：基于第一个答案，我认为我的想法并不完全清楚:我不希望cycle []是一个永无止境的计算。相反，我认为cycle []应该是：
cycle :: [a] -> [a]
cycle [] = []
cycle xs = xs ++ cycle xs[]就是cycle []，因为除了我之外，所有的操作都做了我想做的事情。例如，take 3 []是[]，因此take 3 (cycle [])可以是[]。这个解决方案有什么问题？
回答 5
Stack Overflow用户
发布于 2014-06-19 22:57:03
我对实现cycle函数的人的思想没有任何特殊的见解。
The prelude has the following to say about cycle
循环将一个有限列表绑定到一个循环列表中，或者等价地，将原始列表无限重复。它是无穷列表上的恒等式。
传统上，当你想到一个循环链表时，wiki entry你有：
我该如何表达一个循环的空列表？一个指向自身的指针？但即使是这样也不合适。
我最好的解释是循环列表不是普通列表。它们是不同的野兽，具有不同的语义。就像head实际上只在非空列表上完全定义一样，因为没有空列表的第一个元素，cycle只在非空列表上完全定义，因为没有空的循环链表。
Stack Overflow用户
发布于 2014-06-15 03:07:52
cycle实际上被定义为为所有输入返回一个无限列表。如果它试图在输入为空的情况下天真地这样做，它将陷入无限循环。使用相同的表示语义，错误条件稍微更具信息性。
编辑：
当我说空输出不好的时候，人们似乎不理解我的意思，考虑一下这个简单的函数：
labelElements :: [a] -> [b] -> [(a, b)]
labelElements labels elements = zip (cycle labels) elements它很好而且简单，当标签列表为空时有一个明显的错误条件。如果cycle在空输入上返回一个空列表，它将使labelElements静默地将该bug传播到其输出。此刻，它尖叫着大叫，说是你搞砸了。其中一个比另一个好得多。
Stack Overflow用户
发布于 2014-06-15 03:13:12
当涉及到访问列表中的元素时，问题就出现了。在非空列表上操作的自定义循环函数在被访问时没有问题，但尝试获取循环的空列表的前3个元素会导致无限循环：
cycle' xs = xs ++ cycle' xs
take 3 (cycle' [1,2]) -- returns [1,2,1]
take 3 (cycle' []) -- still loopinghttps://stackoverflow.com/questions/24223201
复制相似问题
腾讯云开发者
