f# - 使用 F# 对可变值进行模式匹配

Question

我想指出 F# 中的“风险”部分。考虑以下代码

let mutable a, b as ab = 0, 0
a <- 4
a
ab

你会得到 a = 4 和 ab = 0, 0。这可能是一个正确的行为，我只是想指出它并了解您的意见。你觉得这种行为合乎逻辑还是不合逻辑，为什么？我有一些问题接受它，因为我一直认为 (a, b) 和 ab 应该是相同的。

Answer 1

如果你在 F# interactive 中运行 let mutable a, b as ab = 0, 0 你会得到:

val mutable ab : int * int = (0, 0)
val mutable b : int = 0
val mutable a : int = 0

这意味着表达式创建了 3 个不同且单独的值。修改一个值不会影响其他值