《计算机程序的构造和解释》-SICP(1):函数式编程思维杂谈

2024-03-16 22:08

本文主要是介绍《计算机程序的构造和解释》-SICP(1):函数式编程思维杂谈,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目前sicp看到第三章节,前两章完成了90%的习题,第三章看了一半。这篇文章主要是些杂谈,可能会有些抽象。后面的系列文章会更具体的讲解。SICP这个写作项目,大概会持续至少半年。

先讲讲函数式思维和面向对象,软件设计的一些关系

这本书其实是讲,当一个系统越来越复杂时,怎样管理系统的复杂度。有三个方法,抽象,组合,DSL(领域特定语言)。抽象和组合可以更好地封装代码。让下层的实现细节不会影响到上层的使用。面向对象思维不过是其实一种,还可以通过数据驱动设计,消息传递等其它手段。另外,面向对象思维和面向对象编程语言是两回事。什么意思呢?你用Lisp系语言也可以达到面向对象思维,用C语言也可以。比如linux内核用C写的就很面向对象(我没看过,在哪本书上看到的)。当然你用java这种“纯正”的面向对象语言,你可以显式的定义类,对象。而且你不用管那么多细节,比如垃圾回收,这个虚拟机会帮你做。但你用C语言可不行,你要自己做。各有优势。

所谓函数式思维编程,这里的函数,不是编程语言中的函数,而是数学中的,数学中的函数强调一对一映射。什么意思呢?就是给定相同的参数x,就一定会得到相同的结果,在严格的函数式思维中,变量是代数中的变量,一个值的名称,它是不可能改变的。而在命令式语言中,变量是存储状态的单元,可以改变,可以被赋值的,比如x = x+1,但是这个表达式在数学看来就是不可取了。

函数式思维中,也是没有循环的,在普通的java循环中,是要有一个变量做累积的,比如i++,即i = i +1。纯函数编程语言无法实现循环,这是因为For循环使用可变的状态作为计数器,而While循环需要可变的状态作为跳出循环的条件。因此在函数式语言里就只能使用递归来解决迭代问题,这使得函数式编程严重依赖递归。严格意义上的函数式编程意味着不使用可变的变量,赋值,循环和其他命令式控制结构进行编程。

那么到底是命令式编程语言好,还是函数式好呢?调用《道德经》的思维:没有对错,只有合适不合适。两种语言都有它们的最适用场景。面向对象的本质是什么?OOP之父Alan Kay说:“OOP is all about messaging”,利用OOP建模,就是在各个对象中传递消息。而现实的大多业务场景,都可以建模成人或者其它对象的协作,通过消息来协作。比如你下个订单,这个对象的库存数减少,新建一个订单对象,等等。这种场景,用OOP是很自然的建模过程。当然你用函数式编程的各种函数“动作”来建模这个过程也是可以的。但是这个场景,用OOP和FP,哪个更好理解呢。举另外一个场景,你就是对一组数据做加工,先排序,再查询,然后再转换。这个场景,显然用FP来建模更自然,这一看就可以看成是一个“管道”过程。

result = (f1(f2(f3...(fn data))))..

但如果这个场景用OOP语言呢?每个过程建立一个class?这很别扭。不简洁。

另外,因为函数式编程的不可赋值特性,让它在并发处理上有优势,SICP上有讲,我还没理解透这块。

总结下就是:一个业务,它抽象成OOP更自然,用OOP,抽象成函数过程更好理解,用FP。

**那么,函数式思维和命令式语言最本质的区别是什么?**命令式语言,它是按照这件事“怎么做”一步一步去执行的,而函数式语言不同,它是描述“是什么”,它不管你完成一件事的具体步骤,相当于数学中的表达式求值。所以这会更抽象。

比如我们要对一个列表操作,让它每个数都开平方。怎么做呢?用python:

list1 = [1, 2, 3, 4]
list2 = []
for i in list1:a = i * ilist2.append(a)
# 这种思维是把列表里的数先转换,再加到表里去。一个一个的进行。

用scheme:

;通过描述一个 旧列表->新列表 的映射,而不是描述「从旧列表得到新树应该怎样做」来达到目的(define (square x) (* x x))
(define list1 (list 1 2 3 4));输出结果:
> (map square list1)
(1 4 9 16)

先说到这,下一篇文章写什么呢?写高阶函数或者数据导向的程序设计和可加性。

Changelog:

20200710 15:40: 完成草稿

20200711 11:09:完成文章

这篇关于《计算机程序的构造和解释》-SICP(1):函数式编程思维杂谈的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/816866

相关文章

C++ Sort函数使用场景分析

《C++Sort函数使用场景分析》sort函数是algorithm库下的一个函数,sort函数是不稳定的,即大小相同的元素在排序后相对顺序可能发生改变,如果某些场景需要保持相同元素间的相对顺序,可使... 目录C++ Sort函数详解一、sort函数调用的两种方式二、sort函数使用场景三、sort函数排序

C语言函数递归实际应用举例详解

《C语言函数递归实际应用举例详解》程序调用自身的编程技巧称为递归,递归做为一种算法在程序设计语言中广泛应用,:本文主要介绍C语言函数递归实际应用举例的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录前言一、递归的概念与思想二、递归的限制条件 三、递归的实际应用举例(一)求 n 的阶乘(二)顺序打印

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,:本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例:2. strerror()示例:3. perror(

揭秘Python Socket网络编程的7种硬核用法

《揭秘PythonSocket网络编程的7种硬核用法》Socket不仅能做聊天室,还能干一大堆硬核操作,这篇文章就带大家看看Python网络编程的7种超实用玩法,感兴趣的小伙伴可以跟随小编一起... 目录1.端口扫描器:探测开放端口2.简易 HTTP 服务器:10 秒搭个网页3.局域网游戏:多人联机对战4.

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数(ScopeFunctions)是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言:为什么需要作用域函数?二、作用域函China编程数详解1. apply:对象配置的 “流式构建器”最

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

Android Kotlin 高阶函数详解及其在协程中的应用小结

《AndroidKotlin高阶函数详解及其在协程中的应用小结》高阶函数是Kotlin中的一个重要特性,它能够将函数作为一等公民(First-ClassCitizen),使得代码更加简洁、灵活和可... 目录1. 引言2. 什么是高阶函数?3. 高阶函数的基础用法3.1 传递函数作为参数3.2 Lambda

Python异步编程中asyncio.gather的并发控制详解

《Python异步编程中asyncio.gather的并发控制详解》在Python异步编程生态中,asyncio.gather是并发任务调度的核心工具,本文将通过实际场景和代码示例,展示如何结合信号量... 目录一、asyncio.gather的原始行为解析二、信号量控制法:给并发装上"节流阀"三、进阶控制

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程