无法在F＃中创建函数的泛型部分应用程序

Question

我正在寻找一种方法来解决这种非常特定的情况：我有一个函数工厂toF，它采用函数参数g并基于它创建一个结果函数f

let toF g = 
    let f x = g x 
    f 
let f = toF id 

的问题是，我得到一个

error FS0030: Value restriction. The value 'f' has been inferred to have generic type val f : ('_a -> '_a) Either make the arguments to 'f' explicit or, if you do not intend for it to be generic, add a type annotation. 

我可以添加类型注释（这我不急于做的），或者我可以把它改写这样的：

let f' g x = g x 
let f x = f' id x 

我不喜欢做这种方式，因为如果我每次做的话，我叫f我拨打另一个电话到f'沿途指定g。虽然第一个示例将g保存在闭包中，并且只需要一个呼叫。

更新版（托马斯）

我已经试过你的建议。

let toF g = 
    printfn "Creating f using g" 
    let f x = 
     printfn "x: %A" x 
     g x 
    f 
let f x = toF id x 

let ``test``() = 
    1 |> f |> f |> ignore 

基本上什么正在发生的事情是，每次我打电话给函数f它首先调用toF id得到一个由函数，然后才调用由上x功能。

Creating f using g 
x: 1 
Creating f using g 
x: 1 

所以基本上的组成是在通过后续调用每次调用f到toF创建。但这正是我想要避免的。通过定义let f = toF id，我希望能得到一个闭合时间，然后能够立即调用它。所以我期待的输出为：

Creating f using g 
x: 1 
x: 1 

更新2

下无法正常工作或为同样的原因：

let toF g = 
    printfn "Creating f using g" 
    let f x = 
     printfn "x: %A" x 
     g x 
    f 
let f() = toF id 
let fg = f() 

Answer 1

你只需要做出f句法功能：

let toF g = 
    let f x = g x 
    f 
let f x = toF id x 

当f在语法上不是一个函数（带参数）而是一个值时，您会遇到“值限制”错误。我不打算在这里解释它，因为在以前的帖子中已经有很好的信息，例如：Understanding F# Value Restriction Errors。

编辑 - 如果你想确保g被调用一次（但仍希望的代码是通用的），那么最简单的方法是添加未使用unit参数（使它的功能），然后调用它一次（它决定了泛型参数），并使用结果多次：

let toF g = 
    let f x = g x 
    f 
let f() = toF id 

let fg = f() 
fg 1 
fg 2 

这是可悲的需要，因为有一个功能是通用的，而是由一些计算返回实际上创造了一个微妙的孔类型系统 - 这就是“价值限制”的原因。

Answer 2

最简单的解决方法就是增加一个类型注释。假设只有一个你关心真正的类型，这完全是直截了当：

type F<'t>() = 
    static member val f : _ -> 't = toF id 

let blah = F.f "blah" 
let one = F.f 1