SICP学习笔记--求值策略 (Evaluation strategy) --应用次序 (Applicative order) vs 正常次序 (Normal order)

最新推荐文章于 2023-09-11 21:12:15 发布
最新推荐文章于 2023-09-11 21:12:15 发布
阅读量2.4k 收藏 2
点赞数
分类专栏： sheme lisp sicp 文章标签： sheme lisp sicp
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/institute/article/details/23750307
版权
这篇博客探讨了SICP中的两种求值策略——应用次序（Applicative order）和正常次序（Normal order）。应用次序在函数应用前先求值其参数，而正常次序则优先归约最外层表达式。非严格求值策略，如惰性求值，允许参数延迟求值，常见于布尔表达式和条件语句的短路求值中。
摘要由CSDN通过智能技术生成

wiki:

严格求值 (Strict evaluation)

在“严格求值”中，给函数的实际参数总是在应用这个函数之前求值。

在邱奇编码下，算子的热情求值映射到了函数的严格求值；为此严格求值有时叫做“热情求值”。多数现存编程语言对函数使用严格求值。

最低0.47元/天 解锁文章
institute
关注
专栏目录
sicp-py-zh:[译] UCB CS61a SICP Python 描述 中文版
05-29
docker run -tid -p <port>:80 apachecn0/sicp-py-zh # 访问 http://localhost:{port} 查看文档 PYPI pip install sicp-py-zh sicp-py-zh # 访问 http://localhost:{port} 查看文档 NPM npm install -g sicp-py-zh ...
深入理解JavaScript系列（19）：求值策略(Evaluation strategy)
weixin_34092455的博客
02-08 111
介绍 本章，我们将讲解在ECMAScript向函数function传递参数的策略。 计算机科学里对这种策略一般称为“evaluation strategy”（大叔注：有的人说翻译成求值策略，有的人翻译成赋值策略，通看下面的内容，我觉得称为赋值策略更为恰当，anyway，标题还是写成大家容易理解的求值策略吧），例如在编程语言为求值或者计算表达式设置规则。向函数传递参数的策略是一个特殊的case。...
Normal Order and Applicative Order(收录)
returntorres的专栏
02-21 430
转载： http://mitpress.mit.edu/sicp/full-text/sicp/book/node85.html In section , where we began our discussion of models of evaluation, we noted that Scheme is an applicative-order language, namely, t
PLT：说说Evaluation strategy
weixin_34310785的博客
08-05 104
Brief　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　   在学习方法/函数时，我们总会接触到 按值传值 和 引用传值 两个概念。像C#是按值传值，但参数列表添加了ref/out后则是引用传值，但奇怪的事出现了 namespace Foo{ class Bar{ public String Msg{get;set;} } class Progra...
求值策略(Evaluation strategy)
wm1634208243的博客
09-05 93
计算机科学里对这种策略一般称为“evaluation strategy”（大叔注：有的人说翻译成求值策略，有的人翻译成赋值策略，通看下面的内容，我觉得称为赋值策略更为恰当，anyway，标题还是写成大家容易理解的求值策略吧），例如在编程语言为求值或者计算表达式设置规则。首先需要注意的是，在ECMAScript中（甚至其他的语如，C，JAVA，Python和Ruby中）都使用了严格的参数传递策略。下面讨论的策略不是全部都用在ECMAScript中，所以在讨论这些策略的具体行为的时候，我们使用了伪代码来展示。
4.2.1 正常次序与应用次序
红孩儿编程大师
09-07 473
 4.2.1 正常次序与应用次序 在1.1部分，我们开始讨论解释模型的地方，我们注意到，SCHEME是一种应用次序的语言。 如其名，当程序被应用时，SCHEME程序的所有的实际参数，已经被执行过了。相反， 正常次序的语言推迟了程序的实际参数的执行，直到实际参数的值被需要时。程序的实际参数的 推迟执行，直到可能的最后一刻 ，(例如直到它们被一个原生的操作需要时) 这叫做 推迟解释。 考虑如下的程序:...
sicp-memo-ans:SICP笔记和答案
06-25
sicp备忘录 包含 SICP 每个部分的注释和答案。 请参考那些正在学习SICP的人。 笔记 如果你想在 gauch 中使用随机函数 (use math.mt-random) (define m (make <mersenne> :seed (sys-time))) (mt-random-integer m ...
sicp-eg-ex：sicp课程视频示例，自己的笔记，习题题解
02-07
本文将围绕"Sicp-eg-ex"这个项目，结合标题和描述，探讨在学习SICP过程中遇到的例子、笔记和习题解，特别是环境检查方案9.5的相关知识点。 首先，我们关注到的是"SICP课程视频示例"。SICP课程的核心在于通过实际的...
sicp-py-zh：【译】UCB CS61a SICP Python
02-05
- **读取-求值-打印循环**（REPL）：学习如何交互式地测试和调试代码。 - **内部表示**：了解如何将程序转换为机器可以理解的形式。 8. **符号处理**： - **操作符和表达式**：学习如何处理和操作符号，理解...
Y Combinator
weixin_34375233的博客
05-14 124
由于匿名函数(通常成为lambda函数但是跟lambda calculus不同)在递归时无法获得函数名，从而导致一些问题，而Y Combinator能很好地解决这个问题。利用不动点的原理，可以利用一般的函数来辅助得到匿名函数的递归形式，从而间接调用无法表达的真正的匿名函数。下面以一个阶乘的递归来说明。 #Python版本，后面会加上C...
y combinator 做的一个调查_可以学习一下
weixin_34345753的博客
07-22 112
RoR： 　　在网络营运平台企业中，RoR站稳使用率第一的位置。其用户包括：ZenPayroll (人力资源)、Asile50 (零售平台)、BackerKit (众筹平台)、Rainforest (QA测试)等。 　　Ruby on Rails是一种结合Ruby语言与Rails平台的一种网页编程语言，Ruby语言以自然、简洁、快速著称，全面支持面向对象程序设计，而Rails则是Ruby广泛应...
关于Lisp中正则序和应用序的问题，练习1.5，1.6，1.20
笨狐狸
06-15 1637
关于正则序和应用序的问题，贯穿了全书，中间的习题和后面的惰性求值都会涉及到。 书上已经给出了明确的定义：正则序是：完全展开后规约，应用序是：先求值而后应用。 以练习1.5为例， (define (p) (p)) (define (test x y) (if (= x 0) 0 y)) (test 0 (p)) 使用正则序(直接将参数代入而不求值)，会
小阴谋家——一遍又一遍（Schema 的 Y combinator）
weixin_34417814的博客
03-08 178
翻译自 The Little Schemer 4th Edition Ch9 - …and Again, and Again, and Again, …。 （这篇文章提到了 Y combinator。） A：你想吃鱼子酱吗？ B：那我们必须去寻找它。 A：当 a 是 caviar，lat 是 (6 2 4 caviar 5 7 3) 时 (looking a lat) 的结果是什么？ B：#t，...
[译] The Why of Y - 理解Y Combinator
weixin_30653097的博客
06-13 97
原文：(The Why of Y) 作者： Richard P. Gabriel Lucid, Inc. and StanfordUniversity 你是否好奇Y（Y combinator，下文简称Y）的工作原理、前人是怎么发明出这玩意的？我将在这篇文章中告诉你。我将使用Scheme语言描述，因为用这种语言表达“作为参数传入另一个函数的函数被调用”更容易理解。 Y存在的意义是，在不...
Scala的求值策略
实践求真知
11-22 400
一 求值策略   二 求值策略的例子   三 实例 scala> def bar(x:Int,y:=>Int)=1 bar:(x:Int, y:=>Int)Int scala> def loop():Int= loop loop:()Int scala> bar(1,loop) //正常秩序，不需要调用loop res1:Int=1 s
详解Hugging Face Transformers的TrainingArguments
最新发布
duzm200542901104的专栏
09-11 1万+
TrainingArguments是Hugging Face Transformers库中用于训练模型时需要用到的一组参数，用于控制训练的流程和效果。本文章详细列出了90个参数的解释，供大家选用
废弃的evaluation strategy 解析系统
using namespace 数学工具构造器;
08-27 302
if splitter is None: if self.n_samples > self.max_n_samples_for_CV: self.logger.info( f"TrainSet has {self.n_samples} samples," f" greater than max n_samples for Cross-Validatio...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值