如何解决Haskell - 为什么这个列表理解会返回一个无限列表?
[3 * x | x <- [1 ..],3 * x < 20]
我真的不明白为什么会这样
[3,6,9,12,15,18
并没有找到尽头
解决方法
语义
[3 * x | x <- [1 ..],3 * x < 20]
是尝试[1..]
的所有元素,并保留那些满足过滤条件3*x<20
的元素。
人类可以看到,在第一个 x
伪造条件之后,尝试所有更大的值是没有意义的,但 Haskell 无论如何都会尝试这些,并陷入无限循环。
这是因为,在一般情况下,条件可能会再次变为真,例如
[3 * x | x <- [1 ..],3 * x < 20 || x == 1000000 ]
一般来说,检测是否没有更多的解决方案是不可判定的,所以 Haskell 和任何其他编程语言一样,不能选择在最后一个解决方案之后停止。
如果希望列表在第一个不满足过滤条件的值后停止,使用takeWhile
:
takeWhile (< 20) [3 * x | x <- [1 ..]]
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。