是否可以使用F＃语句创建适用于任意F＃记录类型的函数？

Question

给定一个F＃记录：

type R = { X : string ; Y : string } 

和两个对象：

let a = { X = null ; Y = "##" } 
let b = { X = "##" ; Y = null } 

和字符串谓词：

let (!?) : string -> bool = String.IsNullOrWhiteSpace 

和功能：

let (-?>) : string -> string -> string = fun x y -> if !? x then y else x 

是有没有办法使用F＃报价定义：

let (><) : R -> R -> R 

与行为：

let c = a >< b // = { X = a.X -?> b.X ; Y = a.Y -?> b.Y } 

的方式，在某种程度上可以对任意的F＃记录类型 (><)工作， 不仅仅是 R

。

短：能否报价被用来生成F＃代码给出一个任意记录类型和补充功能(-?>)适用于其领域的(><)对飞一个定义？

如果报价不能使用，有什么可以？

Answer 1

您可以使用F＃语句为每个特定记录构造一个函数，然后使用F＃PowerPack中提供的引用编译器对其进行编译。然而，由于在评论中提到的，它肯定是更容易使用F＃反射：

open Microsoft.FSharp.Reflection 

let applyOnFields (recd1:'T) (recd2:'T) f = 
    let flds1 = FSharpValue.GetRecordFields(recd1) 
    let flds2 = FSharpValue.GetRecordFields(recd2) 
    let flds = Array.zip flds1 flds2 |> Array.map f 
    FSharpValue.MakeRecord(typeof<'T>, flds) 

这个函数有记录，动态地得到他们的领域，然后应用f到田间地头。你可以用它来imiplement您的运营商像这样（我使用的功能有可读的名称代替）：

type R = { X : string ; Y : string } 
let a = { X = null ; Y = "##" } 
let b = { X = "##" ; Y = null } 

let selectNotNull (x:obj, y) = 
    if String.IsNullOrWhiteSpace (unbox x) then y else x 

let c = applyOnFields a b selectNotNull 

该解决方案使用反射很容易写，但也可能是低效率的。每次调用函数applyOnFields时，都需要运行.NET Reflection。如果您知道记录类型，则可以使用引号来构建代表您可以手动编写的函数的AST。喜欢的东西：

let applyOnFields (a:R) (b:R) f = { X = f (a.X, b.X); Y = f (a.Y, b.Y) } 

使用生成的报价是比较困难的，所以我将不会发布一个完整样本的功能，但下面的例子显示，至少它的一部分：

open Microsoft.FSharp.Quotations 

// Get information about fields 
let flds = FSharpType.GetRecordFields(typeof<R>) |> List.ofSeq 

// Generate two variables to represent the arguments 
let aVar = Var.Global("a", typeof<R>) 
let bVar = Var.Global("b", typeof<R>) 

// For all fields, we want to generate 'f (a.Field, b.Field)` expression 
let args = flds |> List.map (fun fld -> 
    // Create tuple to be used as an argument of 'f' 
    let arg = Expr.NewTuple [ Expr.PropertyGet(Expr.Var(aVar), fld) 
          Expr.PropertyGet(Expr.Var(bVar), fld) ] 
    // Call the function 'f' (which needs to be passed as an input somehow) 
    Expr.App(???, args) 

// Create an expression that builds new record 
let body = Expr.NewRecord(typeof<R>, args) 

一旦你建立正确的引用，你可以使用F＃PowerPack编译它。请参阅example this snippet。