函数在不传递参数的情况下工作

Question

/!\ F# 新手 /!\

我有这个代码

#r @"..\packages\Accord.3.4.0\lib\net40\Accord.dll"
#r @"..\packages\Accord.Statistics.3.4.0\lib\net40\Accord.Statistics.dll"
#r @"..\packages\Accord.Math.3.4.0\lib\net40\Accord.Math.dll"

open Accord
open Accord.Statistics.Models.Regression.Linear

let input = [|1,1.;2,2.;3,2.25;4,4.75;5,5.|]

let x = input |> Array.map(fun (x,y) -> float x)
let y = input |> Array.map(fun (x,y) -> y) 
let regression = SimpleLinearRegression()

let sse = regression.Regress(x,y)
let intercept = regression.Intercept
let slope = regression.Slope
let mse = sse/float x.Length
let rmse = sqrt mse
let r2 = regression.CoefficientOfDetermination(x,y)

这给了我结果

val input : (int * float) [] = [|(1, 1.0); (2, 2.0); (3, 2.25); (4, 4.75); (5, 5.0)|]
val x : float [] = [|1.0; 2.0; 3.0; 4.0; 5.0|]
val y : float [] = [|1.0; 2.0; 2.25; 4.75; 5.0|]
val regression : SimpleLinearRegression = y(x) = 1,075x + -0,224999999999998
val sse : float = 1.06875
val intercept : float = -0.225
val slope : float = 1.075
val mse : float = 0.21375
val rmse : float = 0.4623310502
val r2 : float = 0.9153465347

怎么可能 SimpleLinearRegression 函数有效，但我们甚至没有传递它 x 和 y？

你能给我指出一个参考来理解背后的 F# 魔法是什么吗？

Answer 1

我猜你正在使用 F-Sharp Interactive，并一口气将所有代码发送给 FSI。

神奇之处在于先执行代码，再写入结果。即使 'val' 输出的序列那样有点反直觉。

我可以用这个例子来说明（供以后的读者参考）：

let mutable a = 1
let f = a <- 2; fun () -> 3
do a <- f ()

在 FSI 中给出此输出：

val mutable a : int = 3
val f : (unit -> int)
val it : unit = ()

请注意 a 在打印之前如何更新为其最终值（我们甚至从未看到 1 和 2，即使它们分别是第一行和第二行之后的 a 的值）。

函数在不传递参数的情况下工作

Function works without passing the parameters

f#

f#-interactive