f# - 构造和解构记录

Question

msdn 页面记录 Records (F#)详细介绍了用于记录构造的记录表达式和用于解构的记录模式，后者没有这样命名。下面是一个将这两种技术用于算术运算符的示例:

// 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 节名称解析和记录字段标签中有特殊规定(表达式的类型可以从记录标签推断) ，一般不需要注释。像 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}(括号表示法)

但是您不能免费获得一流的函数，如果您愿意，可以手动编写它们。

以下是我个人使用的约定:

一个静态成员New，带有用于记录构造的柯里化(Currying)参数。

为了更新和解构，我会使用某种 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

这样我就可以拥有用于构造、解构的一流函数，还可以用于更新以及其他非常有趣的镜头属性，您可以 read in this post .

更新(回应您的评论)

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

无论如何，你的问题的答案是“不，没有约定”，其余的都是个人决定，这将是我的决定，而且许多 Haskellers 正在插入为 Haskell 记录获得某种自动镜头。

为什么我会决定走这条路？因为就代码行数而言，添加简单访问器函数的工作量几乎与添加 get-Lens 相同，因此以相同的价格我可以获得更多功能。

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

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

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