haskell - 为什么 GHC 有时会拒绝偷懒？

Question

这进入了 tryhaskell.org 上的无限循环。我不确定为什么。

last $ filter (<100) $ [2..] >>= (\a -> if 0 == (length $ filter (== 0) $ map (mod a) $ [2..a-1]) then (return a) else [])

Answer 1

它不是拒绝偷懒，只是它无法知道在你得到所有质数 < 100 之后，就没有更多的质数了。

如果序列看起来像

1, 2, ... 99, 100, 101, 102, 5, 103, ...

换句话说，last无法预测 future 。哦，我多么希望。