回答情况：
提问时间：
问题标签：
letrec和letrec*都在R6RS，但球拍里有 letrec，没有letrec*。它们之间有什么区别呢？
浏览 6修改于2013-12-07得票数 5
回答已采纳
如果我已经在我的方案解释器中实现了letrec*，我可以通过使其与letrec*相同来简单地实现letrec吗？这是计划标准所允许的吗？
浏览 21提问于2021-11-25得票数 0
1回答
在练习中，我被要求实现letrec，我这样做的方式如下： (define (make-unassigned var) (letrec-binding-val binding))) (make-let
(map make-unassig
浏览 5修改于2014-03-17得票数 2
对于每个100%兼容R7RS的小程序，它不依赖于任何特定于实现的或未定义的行为，真的可以用letrec*替换程序中的每个letrec实例，而不会导致任何行为变化吗？换句话说，是否有任何R7RS小程序的外观不能用letrec*替代letrec
浏览 3提问于2021-12-01得票数 0
我正在尝试使用match-lambda将调用模式匹配到letrec。在我看来，这种模式： (`(letrec ((,<var> ,<val>) .,<exprs>)应与表单的调用匹配：但是，当然，这是行不通的。
浏览 3修改于2012-12-19得票数 0
Kent Dybvig在用于letrec和letrec*的Scheme编程语言中给出的两个例子是： (if (zero?x) (+ x (sum (- x 1)))))])和 (define f (lambda () (cons n n-sum)))
(define n
浏览 0提问于2011-12-29得票数 5
回答已采纳
3回答
现在我对这里的letrec很困惑。这也是recursion.that，我可以understand...but无法在这段代码中建立足够的连接。(可能还是混淆了递归)有人能解释为什么这里需要letrec吗？(define myFunc (letrec ((func:rec_func此函数返回x，y的列表，其边界为开始，结束，因此它检查索引i在边
浏览 3修改于2014-05-25得票数 1
回答已采纳
方案的letrec只用于定义过程，特别是递归过程吗？我之所以问这个问题，是因为它似乎可以使用letrec绑定非过程。例如，(letrec ((x 1) (y 2)) (+ x y))。如果Scheme的letrec只用于过程，那么为什么它的语法不被限制为只允许过程呢？(letrec ((is-even?123))
如果我们使用Common的LABELS而不是Scheme的letrec，那么这两个相互递归的过程将被定义如下
浏览 9修改于2022-05-26得票数 0
回答已采纳
据我所知，以下是let，let*，letrec和letrec*是在方案/球拍中使用的合成糖。((x 1) (+ x y))((lambda (x) ((lambda (y) (+ x y))) 2) 1)例如，什么将 (y 2))被翻译成？第二个问题与letrec*类似--但对于
浏览 36提问于2018-05-31得票数 8
回答已采纳
我已经查看了所有关于letrec的信息，但我仍然不明白它作为一种特性给语言带来了什么。似乎所有用letrec表示的东西都可以像递归函数一样容易编写。但是，如果letrec已经支持递归函数，那么是否有理由公开letrec作为编程语言的特性？为什么有几种语言同时公开这两种语言？我知道letrec可能用于实现其他特性，包括递归函数，但这与为什么它本身应该是一个特性无关。最后，有人告诉我，letrec可以更简洁地表示某些递归值，但我还没有找到一个有动机的例子。
浏览 7修改于2017-12-10得票数 2
2回答
我希望下面的代码可以交换变量，但是我得到了未定义的错误 [you "Jane"])
(letrec ([you me]
浏览 9修改于2022-03-25得票数 0
回答已采纳
我和match-letrec遇到了一堵墙。(syntax-rules () ((_ ((pat expr var) ...) () . body) (match-
浏览 29修改于2019-09-20得票数 2
据说(强调我的)：
理论上解决这些问题的方法之一是限制letrec，使其左侧为未赋值，右侧为lambda表达式。我们将这种形式的letrec称为fix，因为它相当于一种广义的不动点算子。编译器可以有效地处理fix表达式，并且不会违反letrec对fix的限制。不幸的是，以这种方式限制letrec并不是实现者的一种选择，而且在任何情况下都会降低构造的通用性和便利性。我没有仔细看过R5RS的报告，但我在计划中使用了letrec和相应的“命名let”，文件中提到的不幸后果对我来说还不清楚，有人能告诉我吗？
浏览 2修改于2019-07-07得票数 2
回答已采纳
我正在尝试使用函数的数学lambda表示法来实现letrec，但我遇到了困难。我的赋值说明let可以定义为而letrec可以定义为我已经成功地实现了let来查找表达式中的freevars，但我正在为letrec实现而苦苦挣扎： | Id name -> S.singleton name
浏览 6提问于2017-03-25得票数 0
我有几本关于Scheme的书，其中一些提到了let和letrec，但没有一本书会给出令人信服的示例(我的意思是，什么时候以及为什么我会使用其中一个而不是另一个)。有没有这样的例子，letrec/named let确实比内部定义，甚至外部辅助过程更好呢？
浏览 0提问于2010-09-17得票数 4
回答已采纳
特别是，提交人建议：#lang scheme
(lambda (lset) (letrec(lambda (el s)
浏览 3提问于2020-10-13得票数 2
ls) (length (cdr ls) (+ acc 1)))))输出应为(length-it
浏览 4修改于2021-02-17得票数 1
在R7RS-小部分4.2.2绑定构造中，有一个letrec示例 (lambda (n)我不明白为什么letrec是必要的，因为我们已经在语言中使用了let。我试图将letrec替换为let，并在麻省理工学院11.2计划、球拍7.2 plt-r5rs、Chez计划9.5和Guile 3.0.1中得到了正确的值(#t)。letrec的真正用途是什么？
浏览 4修改于2021-11-16得票数 0
回答已采纳
有类似的问题，但语法宏没有，我认为区别在于，一个宏不能看到另一个宏，比如letrec和let函数。 (foo (lambda (x) (bar x))))这不适用于let-syntax，也适用于letrec-syntax我需要一个可以在代码中使用它的例子，在这里您不需要letrec-syntax，而且它就足够有let-syntax了。
浏览 4修改于2020-04-11得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号