F#：柯里化重载/元组重载问题

Question

在将一些代码迁移到最新版本的 F#（包含在 VS2010 b1 中）时，我遇到了一个问题，我想知道是否有可用的解决方法，如果没有，为什么 F# 编译器的行为不修改为支持场景。

type Foo(a) =
    [<OverloadID("CurriedAbc")>]
    member public x.Abc (p:(oneType * anotherType) seq) otherParm = method impl...

    //this overload exists for better compatibility with other languages
    [<OverloadID("TupledAbc")>]
    member public x.Abc (p:Dictionary<oneType, anotherType>, otherParm) =
        x.Abc(p |> Seq.map(fun kvp -> (kvp.Key, kvp.Value))) otherParm

此代码会产生以下编译时错误：

错误 FS0191：此方法的一个或多个重载具有柯里化参数。 考虑重新设计这些成员以采用元组形式的参数

请注意，这曾经在 F# 1.9.6.2（9 月 CTP）上完美运行

Answer 1

更改的原因位于 详细发行说明：

柯里化方法的优化

柯里化成员如下所示：

输入 C() =

静态成员 Sum ab = a + b     
  

在之前的 F# 实现中
柯里化成员编译较少
比非柯里化成员更有效。
现在这一点已经改变。 然而，
现在有一些小限制
关于柯里化成员的定义：

• 柯里化成员不得重载
• 可能需要调整柯里化成员的某些定义，以向定义中添加正确数量的参数

由于只能在第一个参数上解析重载，因此您应该能够通过将柯里化版本更改为：

    [<OverloadID("CurriedAbc")>]
    member public x.Abc (p:(oneType * anotherType) seq)
       = fun otherParm -> method impl...