F# 构建和解构记录

msdn页面记录了详细信息

记录表达式

，用于记录构造和

记录模式

，用于解构，后者没有这样命名。 下面是一个将这两种技术用于算术运算符的示例：

// Simple two-dimensional generic vector defintion
type 'a UV =
    { U : 'a; V : 'a }
    static member inline (+) ({ U = au; V = av }, { U = bu; V = bv }) =
        { U = au + bu; V = av + bv }

这看起来很笨拙，可读性也不强。对于解构，有点符号或函数作为替代。由于点符号运算符在第8.4.2节规范的名称解析和记录字段标签中有特殊豁免（

可以从记录标签推断表达式的类型），因此通常不需要注释。像
让u{u=u}=u
这样的访问函数不会给我们带来任何好处

对于构造，我认为可以将函数用作记录构造函数。甚至可能会限制对原始构造函数的访问：

type 'a UV =
    internal { U : 'a; V : 'a }
let uv u v = { U = u; V = v }
type 'a UV with
    static member inline (+) (a, b) =
        uv (a.U + b.U) (a.V + b.V)

这是惯用的做法吗？如何将这些函数打包到模块中并处理名称空间问题？
简短回答：我认为目前没有一个通用的约定，因此最终将由个人决定

用F#中的记录总结您免费获得的内容是：


构造：
{U=U；V=V}
（括号表示法）

解构：
let u=record.u
（点表示法）和
let{u=u}=record
（模式匹配）

更新：
{U=U的记录}
（括号符号）


但是你不能免费得到第一类函数，如果你想，你可以手工编写它们

以下是我个人使用的惯例：

一个
静态成员New
，带有用于记录构造的当前参数

对于更新和解构，我会使用某种抽象

下面是我必须手动添加的代码示例：

// Somewhere as a top level definition or in a base library
type Lens<'T,'U> = {Get: 'T -> 'U; Set: 'U -> 'T -> 'T } with
  member l.Update f a = l.Set (f (l.Get a)) a


type UV<'a> = {U : 'a; V : 'a } with
// add these static members to your records
  static member New u v : UV<'a> = {U = u; V = v}
  static member u = {Get = (fun (x: UV<'a>) -> x.U); Set = fun t x -> {x with U = t}}
  static member v = {Get = (fun (x: UV<'a>) -> x.V); Set = fun t x -> {x with V = t}}


let uvRecord  = UV.New 10 20
let u         = UV.u.Get uvRecord
let uvRecord1 = UV.u.Set (u+1) uvRecord
let uvRecord2 = UV.u.Update ((+)1) uvRecord

//作为顶级定义或基本库中的某个位置
键入Lens={Get:'T->'U；Set:'U->'T->'T}与
成员l.更新f a=l.集（f（l.Get a））a
键入UV={U=U；V=V}
静态成员u={Get=（fun（x:UV）->x.V）；Set=funtx->{x和V=t}
让紫外线记录=紫外线。新10 20
让u=UV.u.获得uvRecord
设uvRecord1=UV.u.Set（u+1）uvRecord
让uvRecord2=UV.u.Update（+）1）uvRecord

这样的话，我将拥有一流的函数，用于构造、解构，也用于更新以及其他非常有趣的镜头属性

更新（回应您的评论）

当然，它们可以在以后定义，它改变了什么？
这同样适用于新的构造函数，它可以稍后定义，但这实际上是一件好事。
您定义的访问器函数也可以稍后定义，事实上，任何一流的getter、setter或updater值都可以稍后定义

不管怎么说，你的问题的答案是“不，没有约定”，其余的是个人决定，这将是我的决定，而且许多哈斯凯尔人正在努力为哈斯凯尔唱片购买某种自动镜头

为什么我会决定走这条路？因为就代码行而言，添加一个简单的访问器函数几乎与添加一个get Lens是一样的，所以以同样的价格我可以获得更多的功能

如果你对透镜讨论不满意，请告诉我，我可以删除它并留下简短的答案，或者如果它让人困惑而不是澄清，我也可以删除整个答案

或者我可能误解了你的问题，对我来说，你的问题是关于通常使用哪种约定为记录添加一流构造函数、getter和setter值

合成并不是镜头的唯一优势，你可以做很多事情，不断阅读，它们提供了一个非常有趣的抽象，不仅限于记录。
虽然镜头非常适合合成，但在定义一些数据结构时，我并没有完全理解在本质上实现它们的好处。正如您通过扩展方法演示的那样，它们也可以回顾性地介绍。这个问题的动机是希望避免以简洁易读的方式重构记录定义。“如果你以后能把镜片固定上的话，镜片会对我有什么帮助呢？”我在更新中回答了你。