Anotação de tipo genérico em F #
Eu tenho o seguinte erro:
Erro 2 Restrição de valor. O valor que'gbmLikelihood'
foi inferido para ter tipo genéricoval gbmLikelihood : (float -> '_a -> float [] -> float) when '_a :> seq<float>
Ou faça os argumentos para'gbmLikelihood'
explícito ou, se você não pretende que seja genérico, adicione uma anotação de tipo.
e esse tipo é exatamente o que eu quero. O que tenho que fazer para que funcione e por que não funciona apenas sem intervenção?
EDITAR:
O erro vem deste arquivo (é curto, então eu colo todo o lote):
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)