F# 学习笔记(函数基础)

因为只是笔记，所以只记录自己觉得要注意与需要理解的地方，其他就不记了

函数定义上F#有自己的写法：

[<EntryPoint>]let main argv =   let f1 = fun x -> x * x - 2 * x  let f2 x =     let x1 = x - 2    x * x1  printfn "%i" (f2 10)  printfn "%i" (f1 10)  0 

f1是很好理解的，因为基本上现在支持lambda表达式的基本都是第一种写法，只是默认给推断了返回值

f2省略了func 与-> 符号，第一眼看起来不好理解，其实这2个函数是一样的。

如果函数有多个参数，类型会有所不同,这里我在控制台里试了一下：

> let g2 x y z = 1.0 + x*x + y*y + z*z;;val g2 : x:float -> y:float -> z:float -> float

发现它的类型是curry化的，测试了一下果然是这样：

[<EntryPoint>]let main argv =   let g2 x y z = 1 + x + y + z  let a = g2 10  let b = a 11  let c = b 12  printfn "%i" c  0 // 返回整数退出代码

使用ref引用型参数传递值：

[<EntryPoint>]let main argv =   let a1,b1 = ref 6, ref 9  let rChange ref x y =     let t = !x    x := !x + !y    y := !y - t    (x,y)  let z2 = (rChange ref a1 b1)  let c,d = z2  printfn "%i" (c.Value)    0 // 返回整数退出代码

参数前置与函数复合，这里计算f(x) = 2乘以x的平方+3 ，g(x) = 根号x/2计算 g(f(x))

[<EntryPoint>]let main argv =   let f x = 2.0*x*x + 3.0  let g x = sqrt (x/2.0)  let y = g (f 3.0)  let d = 3.0 |> f |> g  printfn "%f" y  printfn "%f" d  0 // 返回整数退出代码

  let y = g (f 3.0)这里使用复合函数，可以使用管道符将参数前置： let d = 3.0 |> f |> g

在前面所定义的函数都是被curry的，所以不能使用多个参数做前置，如果想使用多个参数前置，应该做如下定义，

[<EntryPoint>]let main argv =   let f2 = fun(a,b) -> a*a + b*b  let g1 x = x * (x-1)  let y1 = (3,4) |> f2 |> g1  0 // 返回整数退出代码

f2 的定义就是一个常规函数定义，2个参数没有被分开，而curry化的函数，是高阶函数，用scala的定义法就是这样def first(x: Int) = (y: Int) => x + y

运算符做为函数：

[<EntryPoint>]let main argv =   let a1 = (+) 2 5  let a2 = (*) 3 4  printfn "%i" a1  printfn "%i" a2  0 // 返回整数退出代码

使用前缀运算符，就是把+作为函数来使用

原标题：F# 学习笔记(函数基础)

关键词：函数