F＃：成员约束有助于创建看似动态的类型

Question

我一直在寻找一种方法来为F＃方法添加一些鸭子类型。

SomeMethod(model:'a) =
   let someField = model.Test("")

进入的参数中有Test方法。我看过这样的符号：

member inline public x.Testing< ^a when ^a : (member public Test : String-> String)>(model:^a) =   
  let something = model.Test("")
  ignore

对我来说，通用约束可以用于方法级别而不是类/接口级别。问题是由于类型问题我无法编译它。这让我相信没有办法在方法级别指定约束。这是coorect吗？

Answer 1

这个语法有点笨拙，但现在是。

type Foo() =
  member inline public x.Testing(model) =   
    let something = (^a : (member Test : string -> string) (model, ""))
    ignore

您最好使用界面：

type IModel
  abstract Test : string -> string