一、高阶函数
头等函数,高阶函数,基本上算是一回事儿。细节上可能头等函数更丰富一些,比如可以赋值给变量,其它的如作参数和返回值,二者就基本一样了。所以说Higher-order function(HOF:高阶函数)和First-class Function(头等函数)就是可不可心变量化的区别。在rust中是支持高阶函数的。
functional函数式编程,也是目前几乎所有语言都支持的一个发展方向,比如c++和JAVA、js 和python等,都支持的很不错了。当然和纯粹的函数式编程的语言Lisp、Haskell、Erlang等还是有很大不同的,这里不展开讨论。有兴趣可以看看相关的代码(比如大数据常用的Spark)。
二、rust中的应用
照老惯例,上个例程先:
fn is_odd(n: u32) -> bool {
n % 2 == 1
}
fn main() {
println!("Find the sum of all the squared odd numbers under 1000");
let upper = 1000;
// 命令式(imperative)的写法
// 声明累加器变量
let mut acc = 0;
// 迭代:0,1, 2, ... 到无穷大
for n in 0.. {
// 数字的平方
let n_squared = n * n;
if n_squared >= upper {
// 若大于上限则退出循环
break;
} else if is_odd(n_squared) {
// 如果是奇数就计数
acc += n_squared;
}
}
println!("imperative style: {}", acc);
// 函数式的写法
let sum_of_squared_odd_numbers: u32 =
(0..).map(|n| n * n) // 所有自然数取平方
.take_while(|&n| n < upper) // 取小于上限的
.filter(|&n| is_odd(n)) // 取奇数
.fold(0, |sum, i| sum + i); // 最后加起来
println!("functional style: {}", sum_of_squared_odd_numbers);
}
在上面的代码中,提供了两种类型的编程的代码,它们都实现相同的功能,但是明显上看上去函数式编程更简捷,但同样,代码也更不容易读懂。不容易被维护。说句比较抽象的话,学函数编程,重点是要有数学的思维方式,这个可能要求有点高。这可能也是函数式编程一直无法大光其道的一个重要原因。
三、总结
函数式编程的优缺点不在本文讨论的范围,但是几乎所有语言都在朝着函数式编程支持却是一个有目共睹的现象。正如古人云:“三人行,则必有我师焉。择其善者而从,不善者而改之。”