F# 是否可以更新类中的不可变绑定(创建更改了指定绑定的新对象?)

Question

F# 有没有办法更新类中的不可变绑定？ 或者，更具体地说，有没有办法复制类定义并更改单个不可变条目？ 例如，在OCaml中，我们可以编写诸如

let foo = object
  val fuz = 1
  method get_fuz = fuz
  method inc_fuz = {< fuz = fuz+1 >}
end
let _ = foo#get_fuz
let foo = foo#inc_fuz
let _ = foo#get_fuz

该计划产生

val foo : < get_fuz : int; inc_fuz : 'a > as 'a = <obj>
- : int = 1
val foo : < get_fuz : int; inc_fuz : 'a > as 'a = <obj>
- : int = 2

基本上，语法{< >}允许我们在某种意义上更新不可变属性，方法是创建一个新对象，其中包含除指定条目之外的所有相同条目。 F# 中是否有类似的操作？

Answer 1

基督徒是对的，在这种情况下，你通常会这样做：

使用记录/函数

type foo = { fuz : int }
let inc_fuz f = { f with fuz = f.fuz + 1 }

测试：

> inc_fuz { fuz = 5 }
val it : foo = {fuz = 6;}

使用具有成员的记录

如果必须是成员：

type foo = 
    { fuz : int } 
    member f.inc_fuz = { f with fuz = f.fuz + 1 }

测试：

> let test = { fuz = 5 };;
val test : foo = {fuz = 5;}
> test.inc_fuz;;
val it : foo = {fuz = 6;}