平坦域中无限值链的最小上界

时间:2017-03-29 11:10:58

标签: haskell

假设我们有一个无限的表格列表

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。

1 个答案:

答案 0 :(得分:1)

仔细观察之后,确实是unamb中的一个错误。 Here is a PR to fix it