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

Мне кажется, что общие ограничения могут использоваться для определения выше на уровне метода, а не на уровне класса / интерфейса.Проблема в том, что я не могу его скомпилировать из-за проблем с типом.Это заставляет меня поверить, что на уровне методов нет способа указать ограничения.Это правильно?

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