假设我们有一个无限的表格列表
let l = [undefined,undefined] ++ [1,1..]
这里的关键属性是列表在平面域Integer中形成一个链。在haskell中有没有办法找到列表l的最小上界?我的天真方法如下:
Prelude> import Data.Lub
Prelude Data.Lub> foldr (\x y -> x `lub` y) undefined l
1
问题是ghc进程继续使用我的一个CPU核心的100%。我使用的是ghc版本7.10.3。