函数本质
Haskell 里变量的值在绑定后不会改变，所有变量一定意义上可以理解为定值。
无论如何，定义过的值是没法再改变的。
Haskell 值与函数是统一的，函数只是需要其他参数输入的值。如果定义的是函数，那么这个函数的行为在运行过程中也是不会改变的，对于某一个特定的输入返回的结果总是确定的，这样的函数为纯函数。
有人觉得不改内存状态的想法听上去很荒诞，甚至觉得这样是没有办法做计算的。其实，这两种想法都是错误的。不改变内存状态自有道理，而其它编程语言可以完成的工作，Haskell 一样可以完成。
再三强调，在 Haskell 中，函数与值没有本质的区别，它可以是单一的定值，也可以是任意两个函数间的映射；
实际上，在 Haskell 世界里，所有的运算符号都可以被看做是函数，如加号 + 是一个需要两个参数的函数。
Prelude> (+)5 7 12
函数定义
直接上干货~
实现：f(x) = 4x+ 1
Prelude> f1(x)=4*x + 1 Prelude> f1 4 17 Prelude> :t f1 f1 :: Num a => a -> a
再比如实现：f(x,y) = 4x+ 5y+ 1，
我们可以设想到这个函数的类型是：
f2 :: Num a => (a, a) -> a
验证一下：
Prelude> f2(x,y)=4*x+5*y+1 Prelude> f2(4,3) 32 Prelude> :t f2 f2 :: Num a => (a, a) -> a
确实如此；b(￣▽￣)d
Haskell 中定义的函数的大致格式是这样的：
// 定义方式 1 函数名 (参数1,参数2,...) = 函数体 // 定义方式 2 函数名 参数1 参数2.. =函数体 // 类型 函数名 :: 参数1的类型->参数2的类型->...->结果类型
说这么多，不如在编译器中感受感受：
Prelude> f3 x y z=3*x+2*y-z Prelude> f3 1 2 3 4 Prelude> :t f3 f3 :: Num a => a -> a -> a -> a
我们惊人的发现，从定义方式 1 到 定义方式 2 的过程，就是柯里化的过程！
λ表达式
Haskell 还有另外一种书写函数的格式，即 λ 表达式；
// 定义方式 3 函数名= (\参数1 -> \参数2 -> ... ->函数体)
示例：
Prelude> f4= (\x -> \y -> x*y) Prelude> f4 2 3 6 Prelude> f5 =(\x -> \y->4*x+5*y+1) Prelude> f5 2 3 24
在使用一些高阶函数时，如果不想定义新函数，可以使用 λ 表达式来定义这个函数：
Prelude> map(\x->2*x+7)[1..10] [9,11,13,15,17,19,21,23,25,27]
\x -> 2*x+7 是一个没有名字的匿名函数，在 Haskell 中，通常用 λ 表达式来构造匿名函数；
阶段小结
小结中，我们再来回归三种定义函数的方式：
// 方式 1： f2(x,y)=4*x+5*y+1 // 方式 2： f3 x y z=3*x+2*y-z // 方式 3： f4= (\x -> \y -> x*y)
函数作为 Haskell 基础之基础，牢记 3 种函数定义的方式则是基础之基础之基础。
第 1 种方式到 第 2 种方式是柯里化思想的体现。柯里化如此自然，就像呼吸一般~还有 λ 表达式，是实现匿名函数的有效方式！！
以上，真的要在编译器中敲一敲才会有更多体验。看看不同语言对于函数申明及调用的不同实现，体会函数式编程参数在函数中的输入、传递 ......
我是掘金安东尼，输出暴露输入，技术洞见生活，再会~
