Универсальные типы. ⇐ C#

[Anonymous]

в c# я могу определить < /p>
interface IInt
{
void Method() where TImplementation : TInterface;
}
< /code>
Но в f#< /p>
type IInt =
abstract member Method : unit -> unit
< /code>
не компилируется < /p>

error (active) fs0661 один или несколько из явного класса или функции
Переменные типа для этого привязки не могут быть обобщены, поскольку они
были ограничены другими типами < /p>
Ошибка (активная) FS0663 Этот параметр типа использовался в некотором смысле Это
ограничивает его всегда быть '' 'tinterface' < /p>
Ошибка (активная) FS0698 Недостаточное ограничение: тип, используемый для ограничения
, запечатано, что означает ограничение может быть удовлетворен только одним решением < /p>
< /blockquote>
Как правильно определить интерфейс с теми же ограничениями в F#?

Подробнее здесь: https://stackoverflow.com/questions/794 ... vs-c-sharp