令人困惑的错误消息“预期类型单元但为 X”

Question

我要么没有看到明显的东西，要么只是普遍感到困惑 我的代码如下：

let inline createContext source destination  =
    let src = (fun amount (s:^T) -> (^T : (member DecreaseBalance : decimal -> ^a) (s, amount)))
    let dst = (fun amount (d:^T) -> (^T : (member IncreaseBalance : decimal -> ^a) (d, amount)))
    let log = (fun msg a -> (^T : (member LogMessage : string -> ^a) (a, msg)))
    let f = fun amount -> src amount source |> ignore
                          log "" source |> ignore
    let f = fun amount -> dst amount destination |> ignore
                          log "" destination |> ignore
    new Context (source, destination, src, dst, log)
let src = new Account(0m)
let dst = new Account(0m)
let ctxt = createContext src dst

Account 类型满足 createContext 的成员约束。 Intellisense 声称 createContext 的签名是 Account -> Account -> Context 但编译器在最后一行的 src 抱怨“这个表达式应该有类型单元，但这里有类型 Account” 知道我缺少什么吗？

如果我重命名 Account 的成员函数，使其不再符合我得到的约束 “'Account' 类型不支持任何名为 'LogMessage' 的运算符”，这是我在那种情况下所期望的。如果我将 () 作为第一个参数传递，我会收到相同的错误消息。该单元不支持 LogMessage（并不是说如果实际编译它会给我带来任何好处）

Answer 1

考虑到以下类型，这对我来说编译得很好

type Context(a, b, c, d, e) = class end
type Account(a) = 
  member __.DecreaseBalance(a) = Unchecked.defaultof<_>
  member __.IncreaseBalance(a) = Unchecked.defaultof<_>
  member __.LogMessage(a) = Unchecked.defaultof<_>

我怀疑发生了其他事情。你能展示更多的代码吗？

奇怪的是createContext 被推断为Account -> Account -> Context。我希望'T -> 'T -> Context ('T requires member DecreaseBalance and IncreaseBalance and LogMessage)。这可能是也可能不是您的问题的线索。

如果可能，将静态成员约束替换为接口。