《计算机程序的构造和解释》-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

相关文章

wolfSSL参数设置或配置项解释

1. wolfCrypt Only 解释:wolfCrypt是一个开源的、轻量级的、可移植的加密库,支持多种加密算法和协议。选择“wolfCrypt Only”意味着系统或应用将仅使用wolfCrypt库进行加密操作,而不依赖其他加密库。 2. DTLS Support 解释:DTLS(Datagram Transport Layer Security)是一种基于UDP的安全协议,提供类似于

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

Linux 网络编程 --- 应用层

一、自定义协议和序列化反序列化 代码: 序列化反序列化实现网络版本计算器 二、HTTP协议 1、谈两个简单的预备知识 https://www.baidu.com/ --- 域名 --- 域名解析 --- IP地址 http的端口号为80端口,https的端口号为443 url为统一资源定位符。CSDNhttps://mp.csdn.net/mp_blog/creation/editor

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

【编程底层思考】垃圾收集机制,GC算法,垃圾收集器类型概述

Java的垃圾收集(Garbage Collection,GC)机制是Java语言的一大特色,它负责自动管理内存的回收,释放不再使用的对象所占用的内存。以下是对Java垃圾收集机制的详细介绍: 一、垃圾收集机制概述: 对象存活判断:垃圾收集器定期检查堆内存中的对象,判断哪些对象是“垃圾”,即不再被任何引用链直接或间接引用的对象。内存回收:将判断为垃圾的对象占用的内存进行回收,以便重新使用。

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

Go Playground 在线编程环境

For all examples in this and the next chapter, we will use Go Playground. Go Playground represents a web service that can run programs written in Go. It can be opened in a web browser using the follow

深入理解RxJava:响应式编程的现代方式

在当今的软件开发世界中,异步编程和事件驱动的架构变得越来越重要。RxJava,作为响应式编程(Reactive Programming)的一个流行库,为Java和Android开发者提供了一种强大的方式来处理异步任务和事件流。本文将深入探讨RxJava的核心概念、优势以及如何在实际项目中应用它。 文章目录 💯 什么是RxJava?💯 响应式编程的优势💯 RxJava的核心概念

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)

leetcode105 从前序与中序遍历序列构造二叉树

根据一棵树的前序遍历与中序遍历构造二叉树。 注意: 你可以假设树中没有重复的元素。 例如,给出 前序遍历 preorder = [3,9,20,15,7]中序遍历 inorder = [9,3,15,20,7] 返回如下的二叉树: 3/ \9 20/ \15 7   class Solution {public TreeNode buildTree(int[] pr