为什么循环函数不能处理空列表？
为什么循环函数不能处理空列表？
提问于 2014-06-15 02:56:10
我在我的一些项目中使用了函数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 [])可以是[]。这个解决方案有什么问题？
Stack Overflow用户
发布于 2014-06-20 07:29:18
请注意，由于它是当前定义的，它与tail是一致的。
tail [] = error ...cycle在概念上与tail相关。当您循环一个列表时，这意味着您可以重复查看它的tail，而永远不会到达"end“([])，因为它是一个循环。(见Davorak的图片。)换句话说，在cycle'd列表上使用tail总是安全的，当然，假设首先在该列表上使用cycle是安全的。
就我而言，我认为这是一个非常合理的定义。
tail [] = []
cycle [] = []但是为了保持一致性，您应该同时重新定义cycle和tail。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/24223201
复制相关文章
相似问题
腾讯云开发者
