Kotlin教程笔记(25) -函数式编程

简介: Kotlin教程笔记(25) -函数式编程

本系列学习教程笔记属于详细讲解Kotlin语法的教程,需要快速学习Kotlin语法的小伙伴可以查看“简洁” 系列的教程

快速入门请阅读如下简洁教程:
Kotlin学习教程(一)
Kotlin学习教程(二)
Kotlin学习教程(三)
Kotlin学习教程(四)
Kotlin学习教程(五)
Kotlin学习教程(六)
Kotlin学习教程(七)
Kotlin学习教程(八)
Kotlin学习教程(九)
Kotlin学习教程(十)

Kotlin教程笔记(25) -函数式编程

imgKotlin - 函数式编程

#函数式编程

什么是函数式编程,以下是维基百科给出的答案:

函数式编程(英语:functional programming)或称函数程序设计、泛函编程,是一种编程范式,它将电脑运算视为函数运算,并且避免使用程序状态以及易变对象。其中,λ 演算(lambda calculus)为该语言最重要的基础。而且,λ 演算的函数可以接受函数当作输入(引数)和输出(传出值)。比起指令式编程,函数式编程更加强调程序执行的结果而非执行的过程,倡导利用若干简单的执行单元让计算结果不断渐进,逐层推导复杂的运算,而不是设计一个复杂的执行过程。

这种文趋趋的概念,了解过后有个印象就好了,下面这句话才重要:

在函数式编程中,函数是第一类对象,意思是说一个函数,既可以作为其它函数的参数(输入值),也可以从函数中返回(输入值),被修改或者被分配给一个变量。

这不就是高阶函数的定义吗?是的,不过,函数式编程是一种编程范式,而高阶函数是函数式编程的基本技术,换句话说:函数式编程包括但不限于高阶函数这一种技术,还有闭包、柯里化、偏函数等等。

#闭包

闭包就是能够读取其他函数内部变量的函数。对于支持函数式编程的语言来说,可以在一个函数 A 内部再定义一个函数 B,函数 B 可以访问函数 A 中的成员,通常函数 A 的返回结果就是函数 B,并且闭包会延长函数 A 的生命周期(函数 A 中的成员不会被回收)。

个人理解:闭包中两个函数的关系,跟内部类与外部类的关系很像,不过闭包较为轻量。

我们可以使用闭包来实现斐波那契数列,斐波那契数列的核心要点就是缓存前面的结果,供后续计算使用,使用闭包正合适:

fun fib(): () -> Long {
    var prev = 0L
    var current = 1L
    return fun(): Long {
        val result = current
        current += prev
        prev = result
        return result
    }
}
fun main() {
    val fib = fib() // fib是fib()内的匿名函数
    println(fib()) // 1
    println(fib()) // 1
    println(fib()) // 2
    println(fib()) // 3
    println(fib()) // 5
    println(fib()) // 8
}

可以看到,每次调用这个 fib 匿名函数,出来的结果是不一样的,说明闭包确实可以让内部函数持有外部函数的成员,并且延长了外部函数作用域中变量的生命周期。

#柯里化

什么是柯里化?贴一个维基百科对柯里化的定义:

在计算机科学中,柯里化(英语:Currying),又译为卡瑞化或加里化,是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。

假设有一个求和函数 add,它接收多个参数,满足函数柯里化的前提:

fun add(num1: Int, num2: Int): Int {
    return num1 + num2
}
fun main() {
    val result = add(1, 2)
    println(result) // 3
}

我们如何把上述函数 add 进行柯里化呢?根据柯里化的定义,我们需要把函数 add 进行两处修改:

  • 参数列表:把接收多个参数转变成接收单个参数。
  • 返回值:返回接收余下参数和结果的函数。
fun add(num1: Int): (Int) -> Int {
    return fun(num2: Int): Int {
        return num1 + num2
    }
}
fun main() {
    val result = add(1)(2)
    println(result) // 3
}

可以看到函数 add 的调用形式发现了变化,从 add(1, 2) 变换成了 add(1)(2),这就是柯里化。另外,因为 Kotlin 支持智能类型推导,所以柯里化函数 add 还可以进行简化:

fun add(num1: Int) = fun(num2: Int) = num1 + num2

这变化也太神奇了吧,简化后的柯里化函数 add 让人眼前一亮。同样的,如果参数个数为 3,4,..n 个,对于 Kotlin 来说,柯里化他们也就是一把梭的事。

#偏函数

偏函数(Partial function)就是把一个函数的某些参数给固定住(也就是设置默认值),返回一个新的函数,调用这个新函数会更简单。

注意:偏函数与函数默认参数很像,但两者是有区别的。默认参数是在原函数的基础上给某些参数指定默认值,调用的时候还是原来那个函数,而偏函数一般情况下则是通过某种手段生成的新函数,后续调用的是这个新的函数。

举个例子,有一个可以构建不同编码字符串的函数 buildString:

fun buildString(byteArray: ByteArray, charsetName: String): String {
    return String(byteArray, charset(charsetName))
}
fun main() {
    val result = buildString("lqr".toByteArray(), "UTF-8")
    println(result)
}

现在编程都会使用 UTF-8 作为默认编码,所以,为了不在每次调用这个函数的时候都要传入 charsetName 这个参数,可以为函数指定默认参数解决:

fun buildString(byteArray: ByteArray, charsetName: String = "UTF-8"): String {
    return String(byteArray, charset(charsetName))
}
fun main() {
    val result = buildString("lqr".toByteArray())
    println(result)
}

如果用偏函数来处理,会有什么不同呢?可惜了,Kotlin 本身还没有提供类似 python 那种 functools.partial 用于生成偏函数的功能,不过我们可以借助扩展函数实现类似的偏函数生成功能:

// 对Function2进行扩展,partial2可以生成带有默认参数2的偏函数,partial1则是可以生成带有默认参数1的偏函数
fun <P1, P2, R> Function2<P1, P2, R>.partial2(p2: P2) = fun(p1: P1) = this(p1, p2)
fun <P1, P2, R> Function2<P1, P2, R>.partial1(p1: P1) = fun(p2: P2) = this(p1, p2)

fun main(args: Array<String>) {
    val buildStrPartial2 = ::buildString.partial2("UTF-8")
    val result = buildStrPartial2("lqr".toByteArray())
    println(result)
}

个人认为,现阶段在 Kotlin 中以这种方式使用偏函数还不如直接使用函数默认参数来的实在,对于偏函数,知道是个什么东西就好了。

目录
相关文章
|
10天前
|
存储 人工智能 弹性计算
阿里云弹性计算_加速计算专场精华概览 | 2024云栖大会回顾
2024年9月19-21日,2024云栖大会在杭州云栖小镇举行,阿里云智能集团资深技术专家、异构计算产品技术负责人王超等多位产品、技术专家,共同带来了题为《AI Infra的前沿技术与应用实践》的专场session。本次专场重点介绍了阿里云AI Infra 产品架构与技术能力,及用户如何使用阿里云灵骏产品进行AI大模型开发、训练和应用。围绕当下大模型训练和推理的技术难点,专家们分享了如何在阿里云上实现稳定、高效、经济的大模型训练,并通过多个客户案例展示了云上大模型训练的显著优势。
|
14天前
|
存储 人工智能 调度
阿里云吴结生:高性能计算持续创新,响应数据+AI时代的多元化负载需求
在数字化转型的大潮中,每家公司都在积极探索如何利用数据驱动业务增长,而AI技术的快速发展更是加速了这一进程。
|
5天前
|
并行计算 前端开发 物联网
全网首发!真·从0到1!万字长文带你入门Qwen2.5-Coder——介绍、体验、本地部署及简单微调
2024年11月12日,阿里云通义大模型团队正式开源通义千问代码模型全系列,包括6款Qwen2.5-Coder模型,每个规模包含Base和Instruct两个版本。其中32B尺寸的旗舰代码模型在多项基准评测中取得开源最佳成绩,成为全球最强开源代码模型,多项关键能力超越GPT-4o。Qwen2.5-Coder具备强大、多样和实用等优点,通过持续训练,结合源代码、文本代码混合数据及合成数据,显著提升了代码生成、推理和修复等核心任务的性能。此外,该模型还支持多种编程语言,并在人类偏好对齐方面表现出色。本文为周周的奇妙编程原创,阿里云社区首发,未经同意不得转载。
|
11天前
|
人工智能 运维 双11
2024阿里云双十一云资源购买指南(纯客观,无广)
2024年双十一,阿里云推出多项重磅优惠,特别针对新迁入云的企业和初创公司提供丰厚补贴。其中,36元一年的轻量应用服务器、1.95元/小时的16核60GB A10卡以及1元购域名等产品尤为值得关注。这些产品不仅价格亲民,还提供了丰富的功能和服务,非常适合个人开发者、学生及中小企业快速上手和部署应用。
|
6天前
|
人工智能 自然语言处理 前端开发
用通义灵码,从 0 开始打造一个完整APP,无需编程经验就可以完成
通义灵码携手科技博主@玺哥超carry 打造全网第一个完整的、面向普通人的自然语言编程教程。完全使用 AI,再配合简单易懂的方法,只要你会打字,就能真正做出一个完整的应用。本教程完全免费,而且为大家准备了 100 个降噪蓝牙耳机,送给前 100 个完成的粉丝。获奖的方式非常简单,只要你跟着教程完成第一课的内容就能获得。
|
21天前
|
自然语言处理 数据可视化 前端开发
从数据提取到管理:合合信息的智能文档处理全方位解析【合合信息智能文档处理百宝箱】
合合信息的智能文档处理“百宝箱”涵盖文档解析、向量化模型、测评工具等,解决了复杂文档解析、大模型问答幻觉、文档解析效果评估、知识库搭建、多语言文档翻译等问题。通过可视化解析工具 TextIn ParseX、向量化模型 acge-embedding 和文档解析测评工具 markdown_tester,百宝箱提升了文档处理的效率和精确度,适用于多种文档格式和语言环境,助力企业实现高效的信息管理和业务支持。
3960 5
从数据提取到管理:合合信息的智能文档处理全方位解析【合合信息智能文档处理百宝箱】
|
10天前
|
算法 安全 网络安全
阿里云SSL证书双11精选,WoSign SSL国产证书优惠
2024阿里云11.11金秋云创季活动火热进行中,活动月期间(2024年11月01日至11月30日)通过折扣、叠加优惠券等多种方式,阿里云WoSign SSL证书实现优惠价格新低,DV SSL证书220元/年起,助力中小企业轻松实现HTTPS加密,保障数据传输安全。
533 3
阿里云SSL证书双11精选,WoSign SSL国产证书优惠
|
9天前
|
数据采集 人工智能 API
Qwen2.5-Coder深夜开源炸场,Prompt编程的时代来了!
通义千问团队开源「强大」、「多样」、「实用」的 Qwen2.5-Coder 全系列,致力于持续推动 Open Code LLMs 的发展。
|
17天前
|
安全 数据建模 网络安全
2024阿里云双11,WoSign SSL证书优惠券使用攻略
2024阿里云“11.11金秋云创季”活动主会场,阿里云用户通过完成个人或企业实名认证,可以领取不同额度的满减优惠券,叠加折扣优惠。用户购买WoSign SSL证书,如何叠加才能更加优惠呢?
998 3
|
14天前
|
机器学习/深度学习 存储 人工智能
白话文讲解大模型| Attention is all you need
本文档旨在详细阐述当前主流的大模型技术架构如Transformer架构。我们将从技术概述、架构介绍到具体模型实现等多个角度进行讲解。通过本文档,我们期望为读者提供一个全面的理解,帮助大家掌握大模型的工作原理,增强与客户沟通的技术基础。本文档适合对大模型感兴趣的人员阅读。
453 18
白话文讲解大模型| Attention is all you need