Haskell：非严格的布尔运算

Question

有没有在 Haskell 中定义如下函数？

or True      True      = True
or True      undefined = True
or True      False     = True
or undefined True      = True
or undefined False     = undefined
or undefined undefined = undefined
or False     True      = True
or False     undefined = undefined
or False     False     = False

我目前没有它的用​​例（尽管我对它感兴趣），我只是对它感兴趣。

Answer 1

这在标准 Haskell 中是不可能的，但可以通过 Conal Elliott 在 lub 库中实现的不安全技巧来完成。

基本上，你写两个函数：

orL True _ = True
orL False x = x

orR = flip orL

然后您可以将or a b 定义为orL a b 和orR a b 的lub（关于“定义”顺序的最小上限）。

在操作上，它并行运行两个计算并选择第一个成功的，然后杀死另一个。

即使按照您的建议有效，它也有很大的缺点。首先，lub 只有在其参数一致时才是安全的（除非底部相等）。如果你取lub True False，结果将是不确定的，从而违反了纯度！其次，在某些情况下，并行运行这两种计算的性能开销可能会占主导地位（例如，尝试计算一个大列表的foldr or False！）。

Answer 2

根据您的评估顺序（检查值的顺序），您可以编写惰性版本：

Prelude> True || undefined
True
Prelude> undefined || True
*** Exception: Prelude.undefined

Prelude> :t or
or :: [Bool] -> Bool

Prelude> or [True, undefined]
True

事实上，Haskell 中的默认定义是这样的，因为 Haskell 是一种惰性语言。

但是，如果不先查看该值，就无法“跳过”未定义的值，这会将其评估为底部，这会导致您的表达式未定义。

请记住，惰性值是带有幽灵的存在：

如果你往盒子里面看，可能会被鬼抓到。

如果检查底部很重要（例如，作为测试套件的一部分），您可以将它们视为例外，and intercept them。但你不会在纯函数中这样做。