haskell - 如何在 Haskell 中全局定义关键字 "where"

Question

我正在阅读 learnyouahaskell.com 中的指南。一句话提到“哪里”可以全局共享，但没有给出示例，请问哪里可以找到一些细节？

“绑定(bind)不跨不同模式的函数体共享。如果您希望一个函数的多个模式访问某个共享名称，则必须全局定义它。”

Answer 1

来自 Chapter 4: Syntax in Functions :

where bindings aren't shared across function bodies of different patterns. If you want several patterns of one function to access some shared name, you have to define it globally.

这是一个插图:

f (Left x) = double x
f (Right x) = double x
    where
    double x = 2 * x

函数 f每个模式都有一个主体 (Left x)和 (Right x) . double的绑定(bind)不在函数体之间共享，因此此代码不是有效的 Haskell。

如果我们想访问 double从两个函数体中，我们必须将其移出 where条款:

double x = 2 * x

f (Left x) = double x
f (Right x) = double x

这就是引用段落的全部含义。