直播预约通道开启!2021腾讯数字生态大会邀您共探产业发展新机遇! 了解详情
写点什么

函数式编程为何越来越受到重视

2013 年 7 月 19 日

函数式编程受到越来越多的关注,软件架构师 Neal Ford分析了其中的原因。

Neal Ford 首先强调,函数式编程的特点之一是存在强大的抽象,它隐藏了许多日常操作的细节(比如迭代)。用抽象来处理迭代等任务,使得需要维护的代码变得更少,因此可能出现错误的地方也就更少。

Java 开发人员习惯于框架 级别的重用;在面向对象的语言中进行重用所需的必要构件需要非常大的工作量,他们通常会将精力留给更大的问题。函数式语言在更细化的级别提供重用,在列表和映射等基本数据结构之上通过高阶函数提供定制,从而实现重用。

在面向对象的命令式编程语言中,重用的单元是类以及与这些类进行通信的消息,这些信息是在类图中捕获的。在 OOP 的世界中,鼓励开发人员创建独特的数据结构,以方法的形式附加特定的操作。

函数式编程语言尝试采用不同的方式来实现重用。它们更喜欢一些关键的数据结构(如列表、集和映射),并且在这些数据结构上采用高度优化的操作。传递数据结构和高阶函数,以便 “插入” 这种机制,针对某一特定用途对其进行定制。

函数级的封装支持在比构建自定义类结构更细的基础级别上进行重用。此方法的优势之一已经体现在 Clojure 中。最近,库中的一些巧妙创新重写了 map 函数,使它可以自动并行化,这意味着所有映射操作都可以受益于没有开发人员干预的性能提升。

Neal Ford 举了一个解析 XML 的例子。大量的框架可用于在 Java 中完成这个任务,每个框架都有自定义的数据结构和方法语义(例如,SAX 与 DOM)。

Clojure 将 XML 解析为一个标准的 Map 结构,而不是强迫您使用自定义的数据结构。因为 Clojure 中包含大量与映射配合使用的工具,如果使用内置的列表理解函数 for,那么执行 XPath 样式的查询就会很简单。

最初,Clojure 中令人生畏的细节之一是:与映射和其他核心数据结构进行交互的方法似乎有无限多种。然而,它反映了这样一个事实:在 Clojure 中,大多数内容都尝试解决这些核心的、优化的数据结构。它没有将解析的 XML 困在一个独特的框架中,相反,它试图将其转换为一个已存在相关工具的现有结构。

其次,函数式编程提供了新的工具类型,以优雅的方式解决棘手的问题。例如,Java 开发人员不习惯尽能延迟生成其值的惰性 数据结构。而未来的函数式语言将对这种高级特性提供支持,一些框架将此功能加装到 Java 中。

第三点是让语言迁就问题,大多数开发人员都将他们的工作误解为接受一个复杂的业务问题,将它转换成 Java 等语言。

他们的这种误解是因为 Java 并不是一种特别灵活的语言,它迫使您让自己的想法适应于已经存在的刚性结构。但是,当开发人员使用可塑语言时,他们看到了让语言迁就问题,而不是让问题迁就语言的机会。像 Ruby(它为领域特定语言 (DSL) 提供了比主流更友好的支持)等语言证明了这种潜在可能。现代函数式语言甚至走得更远。Scala 旨在协调内部 DSL 的托管,并且所有 Lisp(包括 Clojure)都可以提供无与伦比的灵活性,使开发人员能够让语言适应问题。

最后一点是与语言的趋势相一致,函数式编程的目标之一是最大程度地减少可变状态。像垃圾收集一样,现在缓存也可以降级用于语言。

由于运行时获得了更多的能力并且有多余的开销,开发人员可以将繁忙的工作割让给语言,将我们解放出来,去思考更重要的问题。Groovy 中的备忘功能就是众多示例中的一个;因为基础运行时允许这样做,所有现代语言都添加了函数式构造,包括 Totally Lazy 等框架。

微软的函数式编程语言 F#最近随 Visual Studio 2013 预览版发布了 3.1 版本。3.1 版的主要新增语言特性:

  • 命名的联合类型字段——现在可以为每个联合类型中的联合字段命名
  • 数组切片扩展——之前的数组切片只能用于同等维度的数组,现在这不是必须的了
  • 为 LINQ 风格的方法增强了类型推断——改进了 F#中使用函数作为参数的重载方法的类型推断
  • 支持第一个参数为类型参数的 C#风格的扩展方法——3.1 支持使用扩展方法(this 关键字),比如:static member M(this T input, T other)
  • 在特性和字面量表达式中对常量进行组合——比如,可以使用“+”来连接字符串,或对枚举标记进行按位 OR 操作(|||)
2013 年 7 月 19 日 10:375593
用户头像

发布了 501 篇内容, 共 217.5 次阅读, 收获喜欢 37 次。

关注

评论

发布
暂无评论
发现更多内容

面试4轮字节Java研发岗,最终拿下Offer(原题复盘)

码农之家

编程 程序员 互联网 面试 字节

MySQL 死锁套路:再来看一例走不同索引更新的例子

AI乔治

Java MySQL 架构

NIST发布酒店业网络安全指南

代码熬夜敲

网络安全 信息安全 WEB安全

【提纲】专访融云CTO杨攀 | 技术型人才的自我修炼

Python测试和开发

调查采访能力考核

精通比特币:为什么它对自由、财务和未来至关重要(上篇)

CECBC区块链专委会

比特币

朱嘉明:算力产业正面临着一个十年的长周期

CECBC区块链专委会

数字经济

如何从零开始学Python:(3)划重点:使用IDLE创建列表时需要注意的地方

广之巅

Python 四月日更

专访声网首席科学家钟声|倾听不一样的“钟声”,声网实时互动服务

程序员架构进阶

28天写作 四月日更 4月日更 调查采访能力考核 人物访谈

【AI全栈二】视频流多目标多类别无延迟高精度高召回目标追踪

cv君

人工智能 AI 目标检测 视频跟踪 综述

对话声网 Agora 首席科学家钟声 :5G时代到来前景下RTE实时互动技术的应用与发展

麦洛

Java

【提纲】专访融云 CTO 杨攀 | 物联网城池应用和发展

李孟

调查采访能力考核

Lombok初始使用及遇到的问题

风翱

lombok 4月日更

由 JVM Attach API 看跨进程通信中的信号和 Unix 域套接字

AI乔治

Java 架构 JVM 性能调优

ElasticSearch 如何使用 TDigest 算法计算亿级数据的百分位数?

程序员历小冰

elasticsearch 近似算法 TDgigest 大数据量

为什么微服务一定要有 API 网关?

xcbeyond

微服务 api 网关 4月日更

关于数字人民币、加密货币,央行前行长周小川、副行长李波博鳌论坛发声

CECBC区块链专委会

数字货币

在gitee码云上搭建一个网站

空城机

JavaScript 前端 gitee 4月日更 搭建网页

模块2的作业

谢博琛

一种提升流媒体服务DSS的IO并发性能方案

Changing Lin

签约计划 4月日更

Python 爬虫实战(一) 爬取自如网租房信息

U+2647

python 爬虫 四月日更

访谈阿里巴巴安全科学家吴翰清

容光

专访 阿里吴翰清 最新网络安全

ARTS- Week 7

steve_lee

干货来袭!阿里Java面试26大专题整理PDF版Github开源(2021最新)

程序员小毕

Java spring 程序员 架构 面试

架构实战营 模块2 课后作业

༺NPE༻

《采访彩食鲜 CTO 乔新亮:IT 团队从 100 到 10000 的管理心得》(采访提纲)

程序员历小冰

调查采访能力考核

领域驱动设计 101- 上下文与持续集成

luojiahu

领域驱动设计 DDD

Go Goroutine

escray

go 极客时间 学习笔记 4月日更 Go 语言从入门到实践

Ansible 介绍

耳东

4月日更

对话声网 Agora 首席科学家钟声 :声网的未来规划和人才建议

小诚信驿站

采访 调查采访能力考核

python 变量作用域和列表

若尘

变量 Python编程 作用域

Excelize 2.4.0 正式版发布, 新支持 152 项公式函数

xuri

GitHub Excel 开源项目 Go 语言 Excelize

技术为帆,纵横四海- Lazada技术东南亚探索和成长之旅

技术为帆,纵横四海- Lazada技术东南亚探索和成长之旅

函数式编程为何越来越受到重视-InfoQ