Generics 如何在F中创建类型参数化抽象类型？

我希望通过以下方式创建抽象类型：

type IResource =
    abstract member List    : string -> List<'T>

---

有可能用F表示吗？如果我在实现中给出要列出的类型，类型检查器会抱怨我使用int而不是'T'。

通过为接口类型提供类型参数，使您的接口显式通用：

type IResource<'T> =
    abstract member List : string -> List<'T>

然后，您可以在实现接口时指定类型

type Website(stage: string) =
    member this.List stage = (this :> IResource<int>).List    stage
    interface IResource<int> with
      member this.List stage = []

---

通过为接口类型提供类型参数，使接口显式通用：

type IResource<'T> =
    abstract member List : string -> List<'T>

然后，您可以在实现接口时指定类型

type Website(stage: string) =
    member this.List stage = (this :> IResource<int>).List    stage
    interface IResource<int> with
      member this.List stage = []

---

谢谢你，谢尔盖！非常感谢，谢谢，谢尔盖！非常感谢。