我可以使记录更灵活吗？

Question

有人可以给我一个例子，说明如何使数据更灵活地插入F＃记录吗？

我经常看到使用这样的记录的示例：

type Employee = {mutable name:string; mutable id:string}

let data = 
    [{name = "Thomas";id = "000"};
     {name = "Johny";id = "001"};
     {name = "Lucky";id = "002"};
     {name = "Don";id = "003"}
    ]

我们不能从一无所有开始，然后再将数据插入记录吗？

（我的意思是不像示例中那样声明数据的值，因此，例如：程序正在运行并要求我们插入数据）

我们可以用唱片做这样的事情吗？

Answer 1

如果您要谈论的是在记录值可用时指定它们，那么您需要在record option字段，以便可以表示缺少值的事实。 我将使用不可变记录，因为这在函数样式中更为常见：

type Employee = { Name:option<string>; ID:option<string> }  

现在，您可以创建仅具有ID的记录，并在用户输入记录时添加名称：

let empty = { Name = None; ID = Some 123 }
let name = // read name from user
let full = { empty with Name = name }

如果您要谈论的是在项目可用时将其添加到列表中，那么您有几种选择。 直接的方法是编写一个递归函数，该函数反复读取记录并构建一个列表：

let rec readData i records = 
  let name = // read name from user 
  if name <> "" then
    // Create new record and add it to our list
    let itm = { Name = name; ID = string i }
    readData (i + 1) (itm::records)
  else 
    // Return records that we collected so far in the right order
    records |> List.rev

另外，您也可以使用序列表达式（例如，参见《现实世界函数式编程》的免费第12章 （PDF））。 如果用户交互涉及等待事件（例如，单击鼠标），则仍然可以使用此样式，但是您需要将所有内容包装在异步工作流中并使用Async.AwaitEvent 。

Answer 2

您看到您经常看到这样的例子吗？

我想说在F＃中使用可变记录不是很惯用。

不变性是一个相当大的主题，需要在这里一个答案中进行解释，但要简短地说：不变性意味着您创建的对象永远不会改变 ：它们保持创建时的状态。 在这个不变的世界中，当您想“改变”某些东西时，您会创建一个新的东西，而丢弃旧的东西。

无论如何，如果我正确地理解了您的问题，那么您实际上是在谈论变异data ，而不是记录。 因此，您可能会：

let data = []
let data = {name = "Thomas";id = "000"} :: data
let data = {{name = "Johny";id = "001"} :: data

但是在这种情况下，您并没有真正在“更改”数据，而是每次都创建一个新列表并将数据指向该列表。