Haskell：无限列表 - Haskell有多懒惰？ [英] Haskell: infinite lists - how lazy is Haskell?

问题描述

$ b $

为什么下面不知道何时停止？ >  sum（[n ^ 2 | n < -  [1 ..]，odd（n ^ 2），n ^ 2 <100]）
  

解决方案

这不是关于它是多么懒，而是它是否有任何方式可能知道 n ^ 2 < 100 一旦出现错误，将永远不会变为真。它不会。

数组理解的这些部分是过滤器表达式，而不是停止条件。

How lazy is Haskell?

Why does the following not know when to stop?

sum ([n^2 | n <- [1..], odd (n^2), n^2 < 100])

解决方案

This isn't about how lazy it is, but rather whether there is any way it can possibly know that n^2 < 100 will never be true again once it was false once. Which it doesn't.

These parts of an array comprehension are filter expressions, not stop conditions.

这篇关于Haskell：无限列表 - Haskell有多懒惰？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！