如何在 F# Program.fs 中隐藏记录？

Question

我正在关注 F# 书籍 Get Programming with F# 并进入了关于阴影的部分。他们提供的最简单的例子似乎是不可能的，所以我想知道是否为 F# 6 阴影删除或更改了此语法？我还没有找到任何说明或如何做这本书提供的影子记录的任何内容。

type Address =
    { Street: string
      Town: string
      City: string }

let home = { Street = "123 Main Street"; Town = "The Town"; City = "The City" }
let home = { home with City = "Second City" }
let home = { home with City = "Third City" }

尝试构建时出现错误：Duplicate definition of value 'home'

---

编辑

所以在搜索了为什么这不起作用的答案但没有成功后，我尝试将上述内容放入这样的函数中：

let testFunction = 
    let home = { Street = "123 Main Street"; Town = "The Town"; City = "The City" }
    let home = { home with City = "Second City" }
    let home = { home with City = "Third City" }
    0

它工作得很好。所以我现在的问题是为什么阴影在函数内部起作用而不在外部起作用？是否存在与不在函数范围内发生的模块级别的范围冲突？

Answer 1

要为现有答案添加更多细节，有四种不同的情况。

局部定义。如果你在一个函数体内，你可以使用阴影，这在进行多步计算时非常有用：

let adjust index = 
  let index = max 0 index
  let index = min 100 index
  index

类内的本地定义。您同样可以在类内隐藏本地定义：

type A() = 
  let foo = 1
  let foo = 2
  member x.Foo = foo

脚本文件的顶层。如果您位于脚本文件的顶层 (something.fsx)，那么您可以使用阴影。脚本文件的想法是手动运行它们，因此拥有多个不同版本很有用 - 您只需手动运行您想要的版本：

let test = calculation1 ()
let test = caluclation2 ()

模块中的顶级（源文件）。 阴影不起作用的唯一情况是当您位于模块（或.fs 文件中）隐式成为一个模块）。在一个模块中，定义是公共的，它们被编译为类的静态成员，因此也存在技术限制（不能有多个同名的类成员）。

module Constants = 
  let answer = 1
  let answer = 42 // error FS0037: Duplicate definition of value 

Answer 2

为什么阴影只限于函数体？

可能有一些技术原因。但核心原因是 IMO：

命名很难。阴影可以减轻痛苦，但可能会令人困惑。

F# 还支持“刻度命名”(home') 以具有相似但不同的名称。这是一种更安全的阴影。