F#高阶属性访问器

Question

我刚刚将原型元组升级为记录.总有一天它可能会变成一个真正的阶级.在此期间,我想翻译这样的代码:

type Example = int * int
let examples = [(1,2); (3,4); (5,6)]
let descs = Seq.map (fst >> sprintf "%d") examples

对此:

type Example = {
  Field1 : int
  Field2 : int
  Description : string
}
let examples = [{Field1 = 1; Field2 = 2; Description = "foo"}
                {Field1 = 3; Field2 = 4; Description = "bar"}
                {Field1 = 5; Field2 = 6; Description = "baz"}]
let descs = Seq.map Description examples

问题是,Description : Example -> string当我声明Example记录时,我希望得到一个函数,但我没有.我已经戳了一下并尝试了类的属性,但这也不起作用.我只是遗漏了文档中的内容,还是我必须手动编写高阶访问者？(这就是我现在使用的解决方法.)

Answer 1

我同意在F#中使用实例成员作为函数值的某种方式会很好(没有显式构造lambda函数).在F#社区中已经多次讨论过这个问题.这是一个相关的链接:

• fslang UserVoice用于将属性转换为函数的语法

该讨论的一些建议选项是:

// This would turn '_' automatically into a lambda parameter
// (this looks okay in simple cases, but doesn't probably scale well)
examples |> Seq.map (_.Description)

// You would specify instance member using special '#' symbol
examples |> Seq.map (Example#Description)

所以,这是F#团队所知道的事情,但我不认为这是否真的是重要特征以及支持它的最佳方式.