使用 F# 的 `ref` 与 `mutable` 赋值运算符

Question

考虑以下代码：

let mutable a = 0.
let b = ref 0.

a <- // works
  printfn "%A" a
  4. + 8.

b := // does not work
  printfn "%A" a
  4. + 8.

b := ( // works
  printfn "%A" a
  4. + 8. )

为什么引用赋值运算符 (:=) 与可变赋值运算符 (<-) 具有不同的行为？

Answer 1

我只能给出部分答案。

:= 是根据 FSharp.Core\prim-types.fs 中的 <- 定义的：

let (:=) x y = x.contents <- y

在您的示例中

b := // does not work
  printfn "%A" a
  4. + 8.

printfn "%A" a 似乎被解释为 y，它不能分配给 int ref 单元（错误类型）。通过使用 ( ... ) 对整个表达式进行分组，y 现在也包含 4。 + 8.。也许这两个运算符的行为不同，因为 <- 似乎是一个内在运算符（即语言的一部分，而不是库的一部分）。

Answer 2

建立在其他答案的基础上...

作业中允许更复杂的表达式，只要最终表达式是几种允许的形式之一。请参阅第 6.4.9 节规格的。这允许复杂的赋值，例如：

let x =
  let rec gcd a = function
    | 0 -> a
    | b -> gcd b (a % b)
  gcd 10 25

编译器将 gcd 移动到私有成员，但将其嵌套在赋值中可以实现更严格的作用域。另一方面，函数参数受到更多限制。它们不会创建新的作用域（据我所知），并且您不能定义函数，例如，作为表达式的一部分。

Answer 3

:= 是一个函数（在 FSI 中尝试 (:=);;），其类型为： 'a ref -> '一-> unit

因此

b := // does not work
  printfn "%A" a
  4. + 8.

由于中缀调用解析规则，

(:=) b (printfn "%A" a)
4. + 8.

被解析为：与 (:=) 函数类型一样无效。
其他示例：

let c = 10 + 
            11 
            12

此处 c 为 12

Answer 4

看起来像是缩进敏感解析器中的差异，而不是专门与这些运算符有关的任何内容。