你好，我是朱涛。在上一节实战课当中，我们算是用Kotlin实践了一把函数式编程的思想。不过，上节课我们其实只是浅尝辄止，也不完全算是函数式编程，咱们只是借鉴了它的思想。

函数式编程（Functional Programming），是一个跟“面向对象”类似的概念，它也是软件工程中的一种编程范式，它是声明式编程（Declarative Programming）的一种，而与它相反的，我们叫做命令式编程（Imperative Programming）。

虽然说，Kotlin的函数式编程还不属于主流，但近几年它的关注度也越来越高了，所以今天我们就借着这节加餐，一起来简单聊聊Kotlin的函数式编程，也为上一节实战课做一个延伸。这样，等将来你想深入研究Kotlin函数式编程的时候，有了这节课的认知基础，也会更加轻松。

函数式与命令式的区别

那么，在介绍函数式编程之前，我们首先要来看几个编程范式的概念：声明式、命令式，还有四个常见的编程范式：函数式、逻辑式、面向过程、面向对象。它们之间的关系大致如下图所示：

图片

我们的校园里学习编程的时候，一般都是学的C、Java，它们分别是面向过程语言、面向对象语言的代表，它们都属于“命令式”的范畴。

那么，想要理解“函数式”，我们首先就要理解什么是“命令式编程”，这是两种截然相反的编程范式。

所谓命令式编程，其实就是最常见的编程方式：在编程的时候，我们需要告诉计算机每一步具体都要干什么。比如说，我们要过滤集合当中所有的偶数，那么使用命令式编程的话，会需要以下几个步骤：

具体来说，命令式的代码是这样的：

fun foo(): List<Int> {
    val list = listOf(1, 2, 3, 4)
    val result = mutableListOf<Int>()
    for (i in list) {
        if (i % 2 == 0) {
            result.add(i)
        }
    }

    return result
}

那么，如果是函数式，或者说“声明式”的代码呢？

fun fp() = listOf(1, 2, 3, 4).filter { it % 2 == 0 }

这段代码，我们是使用了Kotlin标准库当中的filter方法，它是一个高阶函数，作用就是过滤符合要求的集合元素并且返回。而具体的过滤要求呢，我们会在Lambda表达式里传进来。
由此我们也可以感受到，函数式风格的代码，它对比命令式的代码主要是有两个区别：

在上节课的实战案例当中，我们3.0版本的词频统计程序，其实并没有完全发挥出Kotlin函数式编程的优势，因为其中的“getWordCount()”“mapToList()”都是我们自己实现的。事实上，我们完全可以借助Kotlin标准库函数来实现。

fun processText(text: String): List<WordFreq> {
    return text
        .clean()
        .split(" ")
        .filter { it != "" }
        .groupBy { it }
        .map { WordFreq(it.key, it.value.size) }
        .sortedByDescending { it.frequency }
}

根据这段代码我们可以看到，借助Kotlin库函数，我们用简单的几行代码，就成功实现了单词频率统计功能。这就是函数式编程的魅力。

要知道，我们1.0版本命令式的代码，足足有五十多行代码！这中间的差距是非常大的。

到底什么是函数式编程？

那么，到底什么是函数式编程呢？函数式编程在数学理论上的定义很复杂，而对于我们初次接触Kotlin函数式编程来说，其实我们需要记住两个重点：

而以这两个点作为延伸，我们就可以扩展出很多函数式编程的其他概念。比如说，函数是一等公民，这就意味着：

再比如，对于纯函数的理解，这就意味着：

当然，函数式编程还有很多其他的特点，但是，在Kotlin当中，我们把握好“函数是一等公民”和“纯函数”这两个核心概念，就算初步理解了。

好，前面我们提到过，我们可以使用函数来解决所有编程问题，那么接下来，我们就来试试如何用函数来实现循环的功能吧。

实战：函数式的循环

for循环，是命令式编程当中最典型的语句。举个例子，我们想要计算从1到10的总和，使用for循环，我们很容易就可以写出这样的代码：

fun loop(): Int {
    var result = 0
    for (i in 1..10) {
        result += i
    }

    return result
}

上面的代码很简单，我们定义了一个result变量，然后在for循环当中，将每一个数字与其相加，最后返回result这个变量作为结果。这很明显就是在告诉计算机每一步应该做什么，这其实也是它叫做命令式风格的原因。

那么，如果不使用for循环，仅仅只使用函数，我们该如何实现这样的功能呢？答案其实很简单，那就是递归。

fun recursionLoop(): Int {
    fun go(i: Int, sum: Int): Int =
        if (i > 10) sum else go(i + 1, sum + i)

    return go(1, 0)
}

从这段代码当中，我们可以看到，在recursionLoop()这个函数当中，我们定义了一个内部的函数go()，它才是我们实现递归的核心函数。

在函数式编程当中，请不要觉得这种代码很奇怪，毕竟咱们函数都是一等公民了，类的内部可以继续嵌套内部类，那函数里面为什么就不可以嵌套一个内部的函数呢？

实际上，在函数式编程当中，我们有时候也会使用递归来替代循环。我们知道，递归都是有调用栈开销的，所以我们应该尽量使用尾递归。对于这种类型的递归，在经过栈复用优化以后，它的开销就可以忽略不计了，我们可以认为它的空间复杂度是O(1)。

fun recursionLoop(): Int {
// 变化在这里
//     ↓
    tailrec fun go(i: Int, sum: Int): Int =
        if (i > 10) sum else go(i + 1, sum + i)

    return go(1, 0)
}

当然，上面的递归思路只是为了说明我们可以用它替代循环。在实际的开发工作中，这种方式是不推荐的，毕竟它太绕了，对吧？如果要在工作中实现类似的需求，我们使用Kotlin集合操作符一行代码就能搞定：

fun reduce() = (1..10).reduce { acc, i -> acc + i } // 结果 55

这里的reduce操作符也许你会觉得难以理解，没关系，Kotlin还为我们提供了另一个更简单的操作符，也就是sum：

fun sum() = (1..10).sum() // 结果 55

在这里，我们也能发现一些问题：使用Kotlin，我们运用不同的思维，可以写出截然不同的4种代码。而即使同样都是函数式的思想的3种代码，它们之间的可读性也有很大的差异。

Kotlin官方一直宣扬自己是支持多种编程范式的语言，它不像某些语言，会强制你使用某种编程范式（比如C、Haskell等）。这样一来，面对不同的问题，我们开发者就可以灵活选择不同的范式进行编程。

而且，Kotlin也没有完全拥抱函数式编程，它只是在一些语法设计上，借鉴了函数式编程的思想，而且这种借鉴的行为也十分克制，比如模式匹配、类型类、单子。另外，函数式编程领域的很多高级概念，Kotlin也都没有天然支持，需要我们开发者自己去实现。对比起其他JVM的现代语言（如Scala），Kotlin也显得更加务实，有点“博采众长”的意味。

小结

Kotlin作为一门刚出生不久的语言，它融合了很多现代化语言的特性，它在支持命令式编程的同时呢，也对“函数式编程”有着天然的亲和力。

命令式编程与函数式编程，它们之间本来就各有优劣。

函数式编程的优点在于，在部分场景下，它的开发效率高、可读性强，以及由于不变性、无状态等特点，更适合并发编程。而函数式编程的劣势也很明显，它的学习曲线十分陡峭、反直觉，由于自身特性的限制，往往会导致性能更差。所以，Kotlin函数式编程目前仍未成为主流，这是有一定道理的。

不过，随着2021年Android推出Jetpack Compose声明式UI框架，以及Kotlin官方推出的Compose Multiplatform以后，Kotlin函数式编程的关注度也被推向了一个前所未有的高度。总的来说，Kotlin函数式编程是一个非常大的话题，它自身就足够写一个完整的专栏了。如果有机会的话，我们在课程后面，还会再来详细聊聊Kotlin函数式编程在Compose当中的体现。

我相信，在不久的将来，Kotlin函数式编程的方式，一定会被更多的人认可和接受。

思考题

今天，咱们从“编程范式”聊到了Kotlin函数式编程，也请你说说你对“编程范式”以及“函数式编程”的理解吧。这个问题没有标准答案，请畅所欲言吧！

评论