f# - 如何在 F# 中初始化相互递归的记录

Question

我有两条具有父子关系的记录：

type Parent = 
  { Number: int
    Child: Child }
and Child = 
  { String: string
    Parent: Parent }

我尝试使用以下语法初始化这些，但不起作用：

let rec parent = 
  { Number = 1
    Child = child }
and child = 
  { String = "a"
    Parent = parent }

这将导致

parent : Parent = { Number = 1
                    Child = null }
child : Child = { String = "a";
                  Parent = { Number = 1 
                             Child = null } }

如何在不依赖可变字段或事后复制和更新的情况下初始化这些with？

Answer 1

这是初始化它的语法：

let rec parent = 
  { Number = 1
    Child = 
      { String = "a"
        Parent = parent } 
  }

结果是：

parent : Parent = { Number = 1
                    Child = { String = "a"
                              Parent = ... } }

请注意，如本答案中所述，此语法可能比有意的更意外，并且仅适用于简单的自引用（例如，将递归值传递给函数）。