泛函编程(1)-泛函编程是如何实现的

  泛函编程就是把函数组合起来形成一个完整的程序。可想而知,函数组合的过程可以是曲折的,形成的程序可以是复杂的。那么泛函编程又是如何保证一个复杂的函数组合程序是正确无误的呢?首先,泛函编程的函数组合(Functional Composition)遵循一定的数学定律(Mathematical Laws),这保证了组成的函数具备要求的行为特征(Behavior)。再者,所有组件函数都必须具备行为不可变化特性,即无论在任何场合,都不会因为产生了不同的最终结果而影响它们的行为。如果是这样,组合函数的行为都是可预知的,那么它们在程序中的作用也就可控了。这个什么不可变化特性解释的够绕的了吧?实际上这也是泛函编程的重点所在,我看还是要解释清楚才行。

    泛函程序是由纯函数组成。所谓纯函数(Pure Function)是指这个函数的结果完全或只依赖它的输入。对于任何一个输入值只会产生一个唯一的相同结果,而不会因为什么其它的原因影响而变成另一个不同的结果。一个函数是由一个或多个表达式组成。组成一个纯函数的表达式都必须是可以“等量替换“的,意思是每个表达式都可以用这个表达式的结果替代而不会影响整个函数的行为结果。我抛开了英文Referencial Transparent的字面意思把它翻译成”可等量替换的“。我们可以通过”等量替换“方式来分析理解函数行为。纯函数(Pure Function)只依赖输入产生结果,不会造成任何”附带影响“(Side Effect)。所谓”附带影响“是指计算一个表达式后影响了函数的结果。因为泛函程序是由纯函数组成,纯函数是”可等量替换的“,具备行为不可变化特性,所以能保证泛函程序的正确性。

   无“附带影响”、可“等量替换”作为泛函程序正确性的保障,或许在这里应该用一些实例来说明:

先来个超简单的例子:这个表达式 1+1=2够简单了吧。在Scala语言中 “+” 是个函数名称,我们可以确定这个“+”函数是个纯函数,因为我们可以放心的用结果2来“等量替代” 表达式1+1。

再来个比较像样的例子:

1 val x = "Hello, World"
2 x: java.lang.String = Hello, World
3 scala> val r1 = x.reverse
4 r1: String = dlroW ,olleH
5 scala> val r2 = x.reverse
6 r2: String = dlroW ,olleH

我们试着把 r1 和 r2 中的 x 用 x 的结果 "Hello, World"来替代:

1 val r1 = "Hello, World".reverse
2 r1: String = dlroW ,olleH
3 scala> val r2 = "Hello, World".reverse
4 r2: String = dlroW ,olleH

r1和r2的值没有改变。那么我们可以说x是可“等量替换“的。实际上r1和r2也都是可”等量替换“的,当它们出现在一些更大的程序中时我们同样可以运用”等量替换“而不改变程序的行为。

那么再来个反面教材:

1 val x = new StringBuilder("Hello")
2 x: java.lang.StringBuilder = Hello
3 scala> val y = x.append(", World")
4 y: java.lang.StringBuilder = Hello, World
5 scala> val r1 = y.toString
6 r1: java.lang.String = Hello, World
7 scala> val r2 = y.toString
8 r2: java.lang.String = Hello, World

当我们把 y 用它的表达式替代后:

1 val x = new StringBuilder("Hello")
2 x: java.lang.StringBuilder = Hello
3 scala> val r1 = x.append(", World").toString
4 r1: java.lang.String = Hello, World
5 scala> val r2 = x.append(", World").toString
6 r2: java.lang.String = Hello, World, World

显然,虽然r1和r2都等于y,但把y用它的结果x.append(", World")替换后r1 ≠ r2。这说明StringBuilder.append不是一个纯函数,我们决不能用它来进行函数组合(Function Composition),因为组成的程序行为是不可预料的。

 从以上的例子中我们还可以得出结论:泛函程序能用正常的逻辑来理解,它的作用是可预测的,不容易出现粗心错误,可以放心使用。

再往深处想一下,上面例子StringBuilder.append之所以不是纯函数是因为StringBuilder是一个内容可以改变的数据结构(data structure),是"可改变的“(mutable)数据结构。泛函编程要求尽量使用”不可改变的“(Immutable)数据结构来保证程序的纯洁性。泛函编程就好像是使用”不可改变的“数据结构过程的挣扎,起码对我来说是这样的。

在这篇的结尾顺便示范一下泛函编程的风格:

下面这个例子是我们熟悉的OOP风格:

 1 def createErrorMessage(errorCode: Int) : String = {
 2    var result : String = _          //声明一个变量
 3    errorCode match {                //根据不同情况重新对变量result赋值
 4        result = "Network Failure"   // 对变量result赋值
 5      case 2 =>
 6        result = "I/O Failure"       // 对变量result赋值
 7      case _ =>
 8       result = "Unknown Error"      // 对变量result赋值
 9    }
10    return result;            // 返回结果
11 }

以上是典型的指令式编程(Imperative Programming);通过改变变量值来实现程序的状态转变。看看泛函编程例子:

1 def createErrorMessage(errorCode: Int) : String = errorCode match {
2           case 1 => "Network Failure"
3           case 2 => "I/O Failure"
4           case _ => "Unknown Error"
5 }

首先,没有中间变量。整个函数简洁明了的多。不经过中间变量直接返回结果;这就是泛函编程的一个风格特征。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Albert陈凯

Scala简介:面向对象和函数式编程的组合

Scala简介 “Scala是一门现代的多范式编程语言,志在以简练、优雅及类型安全的方式来表达常用编程模式。它平滑地集成了面向对象和函数语言的特性。” Sc...

2506
来自专栏大数据和云计算技术

算法基础8:平衡树之红黑树

算法是基础,小蓝同学准备些总结一系列算法分享给大家,这是第8篇《平衡查找树概述》,非常赞!希望对大家有帮助,大家会喜欢! 前面系列文章: 归并排序 #算法...

2955
来自专栏架构说

使用虚拟节点改进的一致性哈希算法

1 作者:@lionets 分析缺点 连接:http://my.oschina.net/lionets/blog/288066 2 作者:@糖拌咸鱼 ...

33914
来自专栏null的专栏

数据结构和算法——Huffman树和Huffman编码

Huffman树是一种特殊结构的二叉树,由Huffman树设计的二进制前缀编码,也称为Huffman编码在通信领域有着广泛的应用。在word2vec模型中,在构...

2666
来自专栏温安适的blog

读书笔记-红黑树

2667
来自专栏Golang语言社区

Golang逃逸分析

介绍逃逸分析的概念,go怎么开启逃逸分析的log。 以下资料来自互联网,有错误之处,请一定告之。 sheepbao 2017.06.10

1404
来自专栏小樱的经验随笔

STL中的nth_element()方法的使用

STL中的nth_element()方法的使用 通过调用nth_element(start, start+n, end) 方法可以使第n大元素处于第n位置(从...

2654
来自专栏喔家ArchiSelf

老曹眼中的Lambda世界

“ λ ”像一个双手插兜儿,独自行走的人,有“失意、无奈、孤独”的感觉。λ 读作Lambda,是物理上的波长符号,放射学的衰变常数,线性代数中的特征值……在程序...

812
来自专栏LeoXu的博客

使用for循环对 golang 中结构体数组取值进行修改时,需要注意的问题

602
来自专栏伦少的博客

spark基本概念(便于自己随时查阅--摘自Spark快速大数据分析)

转载请务必注明原创地址为:http://dongkelun.com/2018/01/23/sparkBasicConcept/

3628

扫码关注云+社区