я пытаюсь реализовать утку, набрав в F #, и я заметил, что вы можете иметьограничение члена в обобщениях F # следующее:

type ListEntryViewModel(model:'T) = 
  inherit ViewModelBase()

  member this.Name with get() = model.Name

Тем не менее, приведенный выше код выигралкомпилируется, когда я пытаюсь ссылаться на свойство. Я получаю ошибку компилятора:

Этот код не является достаточно общим. Переменная типа ^ T, когда ^ T: (член get_Name: ^ T -> Строка) не может быть обобщена, поскольку она выходит за пределы своей области видимости.

Возможно ли реализовать типизацию утки через общее ограничение?