F# 中带有语句的跨类型记录？

Question

以下代码无法编译：

type Person = 
  {
    FirstName : string
    LastName : string
  }

type Employee = 
  {
    FirstName : string
    LastName : string
    Salary : int
  }

let p : Person = 
  {
    FirstName = "Steve"
    LastName = "Jobs"
  }

let e : Employee = 
  {
    p with Salary = 1
  }

一种变通方法是编写一个助手，可能是这样的：

let toEmployee (p : Person) : Employee = 
  {
    FirstName = p.FirstName
    LastName = p.LastName
    Salary = Unchecked.defaultof<_>
  }

let e : Employee = 
  {
    toEmployee p with Salary = 1
  }

但这有点乏味。

F# 是否提供了更好的方法？

这在 JavaScript 中是很常见的事情，例如：

const e = {
  ...p,
  salary: 1,
};

Answer 1

作为一种静态和名义上的类型语言，这在 F# 中是不可能的，这是有意设计的。

假设你确实有像 JS 这样的特性和一个值let e = {...p; Salary = 1}。然后假设您重命名Person 上的一个字段。 e 的类型应该被推断为什么？错误信息应该说什么？这个问题没有简单的答案，而且在更大的代码库中可能会变得非常复杂且难以快速理解。

最好手动写出新记录。它有点冗长，但它符合 F# 在某些维度上更加明确的一般主题，因此您可以对注释类型不太具体（允许更多类型推断）。如果你可以对两者都非常含蓄，那么它会造成复杂性的爆炸式增长。

---

这里可能有帮助的另一个选项是更改您的模型以将重复的字段放入单独的类型：

type Person = 
  { FirstName : string
    LastName : string }

type Employee = 
  { Person : Person
    Salary : int }

let p = 
  { FirstName = "Steve"
    LastName = "Jobs" }

let e = { Person = p; Salary = 1 }

在 F# 中，为类型建模的方式非常重要，并且会对所有使用它的代码产生连锁反应。因此，如果您的代码看起来很不稳定，请考虑是否可以改进您的类型。