非统一实例化的用法是什么意思

Question

我无法编译以下代码：

open Genotype
open Genome
type IAgent =
    abstract member CrossoverA: Genome<'T> -> unit
type internal AgentMessage<'T> = 
  | GetEnergy of AsyncReplyChannel<int>
  | CrossoverMessage of Genome<'T>
  | CompareMessage of Genome<'T>
type Agent<'T>(initialLifeEnergy : int, genotype : IGenotype<'T>) =
    let LifeEnergy = initialLifeEnergy
    let mailbox = new MailboxProcessor<AgentMessage<'T>>(fun inbox ->
        let rec loop  =
            async {  
                    let! (msg) = inbox.Receive()
                    printfn "Message received: %O" msg
                    match msg with 
                        | GetEnergy reply -> 
                              reply.Reply(LifeEnergy)
                        | CrossoverMessage genome->
                            printfn "crossover"
                        | CompareMessage fenome ->
                            printfn "compare" 
                        }
        loop )
    do
        mailbox.Start()

    member this.CrossoverA(genomeIn: Genome<'T>)  = (this :> IAgent).CrossoverA(genomeIn: Genome<'T>) 
    interface IAgent with
        member this.CrossoverA(genomeIn: Genome<'T>)  = 
            printfn "Crossover"
            mailbox.Post(CrossoverMessage genomeIn)

第 member this.CrossoverA(genomeIn: Genome<'T>) 行中存在错误：

错误 1 在此程序点之前，泛型成员"CrossoverA"已在非统一实例化中使用。请考虑对成员重新排序，以便首先出现此成员。或者，显式指定成员的完整类型，包括参数类型、返回类型以及任何其他泛型参数和约束。

错误 2 无法概括此绑定的一个或多个显式类或函数类型变量，因为它们被限制为其他类型的变量

并且还符合mailbox.Post(CrossoverMessage genomeIn)：

错误 3 类型"T"与类型"a"不匹配

我没有在项目的任何地方使用变量"a"。此外，名称 CrossoverA 仅用于此文件。我感到困惑，项目中的其他类是使用类似的键入模式创建的并且运行良好。

Answer 1

由于对

接口实现的转发调用，它可能无法推断CrossoverA的返回类型。类型推断只能使用当前点之前可用的类型信息。理想情况下，接口会将调用转发到类，而不是相反。这将解决推理问题。

编辑 - 另一个问题似乎是在IAgent.CrossoverA中使用 arg 'T 类型，该类型未在类型上定义。