F# - 重载功能

Question

有没有办法以某种方式重载函数？

我们来看看这3个功能:

// Returns StringPropertyInfo
let stringProperty (expr:Expr<'a -> string>) (cfg:EntityInfo<'a>) = 
    cfg.Property expr

// Returns DatePropertyInfo
let dateProperty (expr:Expr<'a -> System.DateTime>) (cfg:EntityInfo<'a>) = 
    cfg.Property expr

// Returns BytePropertyInfo
let byteProperty (expr:Expr<'a -> System.Byte>) (cfg:EntityInfo<'a>) =
     cfg.Property expr

有没有办法将它们全部合并到:

let property expr cfg = ....

如果没有,最简洁的方法是什么类似的？

Answer 1

如果你想使用基于有区别的联合的方法,那么我认为声明更合适(因为你不需要用引号来操作).Alex建议的类型的轻微修改是:

type PropertyInfo<'a> =
  | String of Expr<'a -> string>
  | Date of Expr<'a -> System.DateTime>
  | ...

那你就写下这样的东西:

let property (pi:PropertyInfo<'a>) (cfg:EntityInfo<'a>) =
  match pi with
  | String e -> cfg.Property e
  | ...

cfg |> property (String <@ fun e -> e.Foo @>)

另一种选择是实现property作为类型的静态成员,在这种情况下,您可以使用通常的重载(类似于C#).就像是:

type EF = 
  static member property (expr:Expr<'a -> string>) (cfg:EntityInfo<'a>) = 
    cfg.Property expr
  static member property (expr:Expr<'a -> System.DateTime>) (cfg:EntityInfo<'a>) = 
    cfg.Property expr
  static member property (expr:Expr<'a -> System.Byte>) (cfg:EntityInfo<'a>) =
     cfg.Property expr

然后你会写:

cfg |> EF.property <@ e -> e.Foo @>

最后,通过使函数完全通用并进行动态类型测试(以确定使用的返回类型),您还可以使它更简单(但不那么安全).就像是:

let property<'a, 'r> (e:Expr<'a -> 'r>) (cfg:EntityInfo<'a>) =
  if typeof<'r> = typeof<string> then
    // ...

Answer 2

简短的回答,没有.有处理这一个问题在这里.

但是,您可以在类等中重载方法,否则.NET集成将无法正常工作.这是一种可能的解决方案,尽管不是在我眼里,一个漂亮的解决方案.

您可以将它们放在不同的子模块中.

也许您可以创建泛型函数并通过其中一个参数确定返回类型.在谈到类型推断时,我太过于说新手了.

Answer 3

我认为在这种情况下,受歧视的工会是你的朋友,你会有类似的东西

type PropertyInfo = 
| StringPropertyInfo of string
| DatePropertyInfo of System.DateTime
| BytePropertyInfo of byte

然后匹配它并在一个函数中执行适当的操作返回union ...