泛函编程(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 条评论
登录 后参与评论

相关文章

来自专栏java达人

方法参数过多怎么办

我们在编程或阅读前人的代码时,经常会看到多个参数的方法,有的甚至达到二十个,看得人眼花缭乱,不便于阅读和维护,而且参数很容易混淆,如两个参数类型同为short型...

2058
来自专栏后端之路

使用分页插件的后悔药

背景 虽然大家都在使用分页,但是某些场景下我们仍然会有不分页的需求,比如某些基础表等等 分页插件使用的是https://github.com/pagehelpe...

2935
来自专栏Java帮帮-微信公众号-技术文章全总结

​图;代码轻松理解,代理

代理 代理是英文 Proxy 翻译过来的。我们在生活中见到过的代理,大概最常见的就是朋友圈中卖面膜的同学了。 她们从厂家拿货,然后在朋友圈中宣传,然后卖给熟人。...

2875
来自专栏醒者呆

零件组装技术——建造者模式深度解析

建造者模式是最后一个创建型设计模式,也是研究对象的创建。 将一个复杂对象的创建与它的表示分离,使得同样的构建过程可以创建不同的表示。 创建和表示是什么意思...

35210
来自专栏Java技术栈

关于Java你不知道的10件事

作者: Lukas Eder 原文:10 Things You Didn’t Know About Java 来源:oschina 译文:www.oschina...

31811
来自专栏Java成神之路

Java企业微信开发_Exception_01_"errcode":60011,"errmsg":"no privilege to access/modify contact/party/agent

1.组装json数据时,有些字段的值是不能包含双引号的,比如department。所以就没有用JSONObject.fromObject方法了,直接用字符串按照...

823
来自专栏程序员宝库

关于 Java 你不知道的 10 件事

作为 Java 书呆子,比起实用技能,我们会对介绍 Java 和 JVM 的概念细节更感兴趣。因此我想推荐 Lukas Eder 在 jooq.org 发表的原...

2815
来自专栏ThoughtWorks

虚拟DOM已死?|TW洞见

杨博 ThoughtWorks 本文转载自InfoQ:http://www.infoq.com/cn/articles/more-than-react-part...

2905
来自专栏个人随笔

Java 关于接口的那点事儿

接口的应用 接口是一种能力 关键字:interface 语法:  public interface MyInterface{   public void ...

3558
来自专栏余林丰

JUnit学习

很早以前就知道JUnit也知道它用来做单元测试。今天突然又想到还是要学一下这个JUnit,不然说出去不知道怎么用JUnit做单元测试……作为一个程序员怪丢人的。...

1835

扫码关注云+社区