F#和ILNumerics

html5 • • 问答

f#

我刚刚下载了 ILNumerics 的最新版本，可用于我的 F# 项目。是否可以在 F# 中利用这个库？我尝试过简单的计算，但看起来很麻烦（在 F# 中）。

我想设置一个有约束（甚至无约束）的优化问题。通常的 Rosenbrock 函数会做，然后我将使用我自己的函数。我什至很难定义一个数组。我可以定义的唯一类型的数组是 RetArray，例如使用此代码

let vector = ILMath.vector<float>(1.0, 2.0)

编译器表示 vector 是一个 RetArray；我认为这是因为它是从函数返回的（即：ILMath.vector）。如果我定义另一个类似的向量，我可以 -eg- 求和向量，简单地写，例如

let a = ILMath.vector<float>(1.0, 2.0)
let b = ILMath.vector<float>(3.2,2.2)
let c = a  + b

我得到

RetArray<float> = seq [4.2; 4.2]

但是如果我尝试检索 c 的值，再次写入，例如在 FSI 中，

c;;

我得到

错误：未将对象引用设置为对象的实例。

在 F# 中使用 ILNumerics 的建议方法是什么？是否可以在 F# 中本地使用该库，或者我被迫从 C# 库调用我的 F# 代码以使用整个 ILNumerics 库？除了引用的问题之外，当我在 F# 中移植时，我在理解 ILNumerics 的基本逻辑方面存在问题。

例如，示例代码中使用作用域的 C# 的 F# 等效项是什么，如下所示：

using (ILScope.Enter(inData)) { ...

}

回答

只是为了详细说明 brianberns 的答案，您可以做一些事情来让自己更轻松。

我个人不会走定义自定义操作符的路线——尤其是覆盖现有操作符的操作符。相反，也许您应该考虑使用计算表达式来处理 ILMath 类型。这将允许您隐藏很多丑陋，在使用非 F# 标准（例如隐式类型转换）的库时会出现这种情况。

我无法访问 ILMath，所以我刚刚实现了这些虚拟替代方案，以便让我的代码进行编译。我怀疑你应该能够不复制它，其余的代码将按预期工作

module ILMath =
    type RetArray<'t> = { Values: 't seq }

    and Array<'t> = { OtherValues: 't seq } with
        static member op_Implicit(x: RetArray<_>) = { OtherValues = x.Values }
        static member inline (+) (x1, x2) = { Values = (x1.OtherValues, x2.OtherValues) ||> Seq.map2 (+) }

type ILMath =
    static member vector<'t>([<ParamArray>] vs : 't []) = { ILMath.Values = vs }

如果您以前从未见过或实现过计算表达式，则应查看我引用的文档。基本上，它以您决定的方式在一些丑陋之上添加了一些不错的语法糖。我的示例实现只添加了let!(desugars to Bind) 和return(desugars to Return, duh) 关键字。

type ILMathBuilder() =
    member __.Bind(x: ILMath.RetArray<'t>, f) =
        f(ILMath.Array<'t>.op_Implicit(x))
    member __.Return(x: ILMath.RetArray<'t>) =
        ILMath.Array<'t>.op_Implicit(x)

let ilmath = ILMathBuilder()

这应该ilmath在顶层定义和实例化（变量）。这允许你写

let c = ilmath {
    let! a = vector(1.0, 2.0)
    let! b = vector(3.2, 2.2)
    return a + b
}

当然，这个实现只增加了对很少事情的支持，并且要求，例如，RetArray<'t>总是返回一个类型的值。ILMathBuilder根据文档扩展类型是从这里开始的方法。

以上是F#和ILNumerics的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>