Question

在这个问题中：In F# how can I produce an expression with a type of Func<obj>?显示单个值的lambda表达式被自动转换/转换为Func类型，然后在函数中被接受。

我正在使用MathNet.Numerics库，可以通过在0到10之间集成x ^ 2来确认这一点：

#r "../packages/MathNet.Numerics.3.20.0/lib/net40/MathNet.Numerics.dll"
#r "../packages/MathNet.Numerics.FSharp.3.20.0/lib/net40/MathNet.Numerics.FSharp.dll"

#load "Library1.fs"
open Library3

// Define your library scripting code here

open MathNet.Numerics.Integration

let integral = DoubleExponentialTransformation.Integrate((fun x -> x**2.0), 0.0, 10.0, 1.0)

val answer : float = 333.3333333

但是，我无法使用多值函数。当我尝试这个时，我得到一个类型错误。有谁知道这方面的工作？

open MathNet.Numerics.Optimization
open MathNet.Numerics.LinearAlgebra.Double

let newAnswer = BfgsSolver.Solve(DenseVector[|1.0, 1.0|], 
                                 (fun x y -> (x + y - 5.0) ** 2.0 + (y - x*x - 4.0) ** 2.0), 
                                 (fun x y -> DenseVector[| 2.0 * (x + y - 5.0) - 4.0 * x * (y - x*x - 4); 
                                                           2.0 * (x + y - 5.0) + 2.0 * (y - x*x - 4.0)   |])
                                                           )

我收到以下错误...

Script.fsx(20,34): error FS0193: Type constraint mismatch. The type 
    ''a -> 'b -> 'c'    
is not compatible with type
    'System.Func<MathNet.Numerics.LinearAlgebra.Vector<float>,float>'

Answer 1

您可以使用System.Func<_,_,_>()转换如下函数：

let newAnswer = BfgsSolver.Solve(DenseVector[|1.0, 1.0|], 
                                 (System.Func<_,_,_>(fun x y -> (x + y - 5.0) ** 2.0 + (y - x*x - 4.0) ** 2.0)),
                                 (System.Func<_,_,_>(fun x y ->
                                    DenseVector[| 2.0 * (x + y - 5.0) - 4.0 * x * (y - x*x - 4)
                                                  2.0 * (x + y - 5.0) + 2.0 * (y - x*x - 4.0) |])))

如果你发现自己经常需要这个，你可以用帮助器使代码变得不那么难看：

let f2 f = System.Func<_,_,_> f

<强>更新

查看Math.NET documentation for this method我现在看到它实际上只需要一个输入。也许您对Func<A, B>类型签名感到困惑，但在这种情况下A是输入类型，B是输出类型。

带有一个输入的F＃函数会自动转换为Func<_,_>。我下载了Math.NET，这个非常小的例子没有编译错误：

open MathNet.Numerics.Optimization
open MathNet.Numerics.LinearAlgebra.Double
BfgsSolver.Solve(DenseVector [||], (fun x -> x.[0]), (fun x -> x))

这表明问题不在于在函数类型之间进行转换，而在于使用具有错误arity的函数。我应该从你原来的错误信息中看到这个！

将具有多个参数的F＃函数转换为Func类型 - MathNet.Numerics

1 个答案: