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