F#:函数和静态成员之间的柯里化(Currying)差异

Question

请有人向我解释一下:

type IItem = interface end
type Item = {i:int} interface IItem

type Fail = static member foo (s:string) = fun (x:IItem) -> ""
let foo = fun (s:string) -> fun (x:IItem) -> ""

let works = {i=1} |> foo ""
let fails = {i=1} |> Fail.foo ""

为什么使用静态成员函数的柯里化(Currying)不起作用？
如果这很重要，我正在使用带有 .net 4.5.2 的 Visual Studio 2012。

Answer 1

这并不是静态成员和函数之间的真正区别——它有点微妙。这是另一个复制品:

type T =
    static member A () (o:obj) = ()
    static member B () = fun (o:obj) -> ()

T.A () 1 // ok
T.B () 1 // huh?

注意 T.A 的签名和 T.B是不同的(这实际上在规范的第 11.2.1.1 节中有介绍):

type T =
  class
    static member A : unit -> o:obj -> unit
    static member B : unit -> (obj -> unit)
  end

这是一个通常不重要的区别，但基本上它意味着在 .NET 表示级别 A B 被编译为带有两个参数的方法(即使它在 F# 中看起来是 curried)。被编译为具有单个参数的方法，该参数返回 F# 函数。这种差异最终是导致您所看到的行为的原因。