F#中的泛型类型注释

Question

我收到以下错误:

错误2值限制.'gbmLikelihood'已推断该值具有泛型类型 val gbmLikelihood : (float -> '_a -> float [] -> float) when '_a :> seq<float> 要么将参数设置为'gbmLikelihood'显式,要么如果您不打算将其设置为通用,则添加类型注释.

而这种类型正是我想要的.我需要做些什么才能使它发挥作用,为什么它不能在没有干预的情况下工作？

编辑:
错误来自这个文件(它的简短,所以我粘贴整个批次):

module Likelihood
open System

let likelihood getDrift getVol dt data parameters =
    let m = getDrift data parameters
    let s =  getVol data parameters
    let N = float (Seq.length data)
    let sqrt_dt = Math.Sqrt dt
    let constant = -0.5*Math.Log(2.0*Math.PI*dt)*N
    let normalizedResidue observation = (observation - (m - 0.5*s*s)*dt)/(s*sqrt_dt) 
    let residueSquared observation = 
        let r = normalizedResidue observation in r*r
    let logStdDev = Math.Log s
    constant - logStdDev*N - 0.5* (data |> Seq.sumBy residueSquared) 

let gbmLikelihood = likelihood (fun data p -> Array.get p 0) (fun datac p -> Array.get p 1)

Answer 1

声明具有泛型类型的值时,可能会发生此错误.例如,参见过去的SO问题.在您的情况下,类型表明您正在尝试定义函数,但编译器不会将其视为语法函数.如果执行某些效果然后使用lambda语法返回函数,则会发生这种情况:

let wrong = 
  printfn "test"
  (fun x -> x)

要避免此问题,您需要使用函数语法编写函数:

printfn "test"
let wrong x = x

编辑:在您的具体示例中,该函数gbmLikelihood是作为部分函数应用程序的结果创建的.要使其编译,您需要将其转换为显式函数:

let gbmLikelihood parameters = 
  likelihood (fun data p -> Array.get p 0) (fun datac p -> Array.get p 1) parameters 

有关这种情况及其工作原理的更多信息,请参阅这篇关于F#中值限制的精彩文章.