构建和解构记录

Question

记录 Records (F#) 的 msdn 页面详细说明了 record expressions 用于记录构造和 record patterns 用于解构，后者没有这样命名。这是一个将这两种技术用于算术运算符的示例：

// 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 }

这看起来很笨重而且可读性不强。对于解构，有点符号或函数作为替代。由于点符号运算符在规范 (an expression’s type may be inferred from a record label) 的第 8.4.2 名称解析和记录字段标签 部分有特殊豁免，因此通常不需要注释。像 let 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)

这是惯用的做法吗？如何将这样的功能封装到模块中并处理命名空间问题？

Answer 1

简短回答：我认为目前这里没有通用约定，因此最终将由个人决定。

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

构造：{ U = u; V = v }（括号表示法）
解构：let u = record.u（点符号）和let {U = u} = record（模式匹配）
更新：{record with U = u}（括号表示法）

但您不会免费获得第一个 class 功能，如果您愿意，可以手动编写代码。

以下是我个人的惯例：

一个 static member New 带有用于记录构造的柯里化参数。

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

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

// 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

这样一来，我将拥有第一个 class 构造函数、解构函数以及更新函数以及其他非常有趣的 Lenses 属性，您可以 read in this post。

更新（回应您的评论）

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

无论如何，你的问题的答案是 "no, there are no conventions" 其余的是个人决定，这将是我的决定，而且许多 Haskell 用户正在努力为 Haskell 记录。

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

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

或者我可能误解了你的问题，对我来说你的问题是关于通常使用哪种约定来添加 first-class 构造函数，getters 和 setters 值记录。

组合不是 Lenses 的唯一优势，你可以做很多事情，继续阅读它们，它们提供了一个非常有趣的抽象，而不仅限于记录。

构建和解构记录

Constructing and deconstructing records

f#