让 5 = 10 做什么？不是赋值操作吗？

Question

如果我说let 5 = 10，为什么5 + 1 返回6 而不是11？

Answer 1

当你说

let 5 = 10

这不是对5的重新定义，是模式匹配，和你说的一样

foo 5 = undefined
 ... foo 10 ...

如果曾经匹配，该模式就会失败。

在 let 表达式中，匹配是惰性的。这意味着只有在评估受其绑定的变量时才进行匹配。这使我们可以编写诸如

之类的东西

 let foo = undefined in 10

在您的表达式中，没有绑定任何变量，因此模式永远不会匹配。

可以说，这种没有变量的模式在 let-bindings 中没有意义，应该被编译器检测到，但语言并没有禁止它们。

Answer 2

基本上，

let 5 = 10 in ...

等价于

case 10 of ~5 -> ...

注意~，它标志着懒惰，或无可辩驳的模式。这是一个匹配所有内容的模式，它将匹配推迟到实际需要某个变量的点。模式5 中没有变量，所以什么都不会发生。

这种极端情况没什么用，可以说编译器应该在这里发出警告。

为了阐明惰性模式的含义，请考虑以下几点：

case f 3 of
  (x,y) -> g 10 x y

这里f 3首先被评估（到WHNF），暴露了对构造函数。然后x,y 绑定到（尚未评估的）对组件。最后，计算g 10，将结果应用于x（现在可能需要），然后应用于y（可能导致x或y需要）。

相比之下，

case f 3 of
  ~(x,y) -> g 10 x y

不以评估 f 3 开始。相反，x 绑定到未评估的fst (f 3)，而y 绑定到未评估的snd (f 3)。相反，我们从评估g 10 开始。然后，我们将其应用于x：这可能会导致需要x，从而触发f 3 的评估。然后，我们将结果应用于y，导致类似的评估。大多数实现实际上会在x 和y 之间共享f 3 的结果，以便最多计算一次。

Answer 3

作为@n.m。就是说，你是模式匹配。以下是一些示例。

模式匹配可以成功

Prelude> let (a, 10) = (15, 10) in a
15

或者失败。

Prelude> let (a, 10) = (15, 15) in a
*** Exception: <interactive>:5:5-22: Irrefutable pattern failed for pattern (a, 10)

由于 Haskell 是惰性的，如果您不使用结果值，您的代码将成功。这基本上就是你正在做的事情：

Prelude> let (a, 10) = (15, 15) in "Something else"
"Something else"

请注意，类型仍然必须检查：

Prelude> let (a, 10, 999) = (15, 15) in "Something else"

<interactive>:7:20: error:
    • Couldn't match expected type ‘(t, Integer, Integer)’
                  with actual type ‘(Integer, Integer)’
    • In the expression: (15, 15)
      In a pattern binding: (a, 10, 999) = (15, 15)
      In the expression: let (a, 10, 999) = (15, 15) in "Something else"
    • Relevant bindings include a :: t (bound at <interactive>:7:6)