SICP功能和步骤之间有什么区别?

如何解决SICP功能和步骤之间有什么区别?

我目前正在通过计算机程序的结构和解释来完成布莱恩·哈维(Brian Harvey)的书和讲课(他在这一点上很搞笑),但是我还没有真正实现具有区别功能的“啊哈!时刻”。程序。

现在,我在演讲和阅读之外进行了研究,并且遇到了一些有关同一问题的不同文章,但是似乎所有文章都针对真正的解释或过时的定义展开了单独的讨论/观点。我看到的一个普遍答案是,函数返回一个值,而过程则不返回,但是这对我来说并不能解决很多问题,大多数用户对此回答似乎有些反对。

在课文和讲座中深入研究高阶程序,我完全理解其概念和功能,但是我感到困惑,因为我会听到“高阶程序”和“高阶函数”。布赖恩·哈维(Brian Harvey)还提到“高阶过程代表高阶函数”。

我了解下面的两个功能是相同的功能,但过程不同。

f(x) = 2x + 6
g(x) = 2(x + 3)

现在,在下面,make-adder被称为以num作为形式参数的过程。加法器的域是数字,范围是程序。我想真正让我感到难过的是,他指的是lambda表达式,即lambda表达式,但是make-adder返回一个过程吗?

(define (make-adder num)
  (lambda (x) (+ x num))

(define plus3 (make-adder 3))
(plus3 8)

我认为我有一个清晰的认识,直到在高阶过程课中对过程的一些引用,这才使事情变得模糊起来。

有没有可能通过示例来帮助区分两者?谢谢!

解决方法

TL; DR: 在SICP中,过程和功能的含义相同。

在数学中,函数是要与参数一起应用并返回一个值的函数,并且始终会将相同的值返回给相同的参数。您可以将其替换为结果参数之间的映射。

在诸如Scheme或JavaScript之类的编程语言中,单词函数的使用不适用于所有具有某种副作用或返回值与参数不一致的代码。

过程是一个更通用的术语,因此您不能说过程需要具有参照透明性,以便可以将其视为数学函数,因此Scheme和JavaScript都具有过程而不是函数。例如。 x86 intel平台中的子例程是一个过程。它不允许参数,也不能返回值,只能跳转并返回。但是C使用代码来操纵堆栈以能够传递参数并获得返回值,并且在这种意义上,您可以模拟“函数”,但是它们并没有消除对于每个输入返回都不相同的可能性,因此您可以实现不是函数的“ c函数”,但是可以将其称为过程。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 <select id="xxx"> SELECT di.id, di.name, di.work_type, di.updated... <where> <if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 <property name="dynamic.classpath" value="tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams['font.sans-serif'] = ['SimHei'] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -> systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping("/hires") public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate<String
使用vite构建项目报错 C:\Users\ychen\work>npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-