相关疑难解决方法(0)

msdn页面记录record expressions了记录构造和record patterns解构的记录(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 }

这看起来很笨拙,而且不太可读.对于解构,有点符号或函数作为替代.由于点符号运算符在spec()的8.4.2 名称解析和记录字段标签部分中有特殊的分配an expression’s type may be inferred from a record label,因此通常无需注释.因此,访问器功能let u { U = …