SICP 第 4.1.6 节
我需要一些帮助来理解 SICP 第 4.1.6 节中有关内部定义的材料。
我理解定义相互递归函数时提出的问题。 但我不明白如何通过将以下 lambda 表达式转换
(lambda <vars >
(define u <e1 >)
(define v <e2 >)
<e3 >)
为来解决这个问题：
(lambda <vars >
(let ((u ’*unassigned*)
(v ’*unassigned*))
(set! u <e1 >)
(set! v <e2 >)
<e3 >))
有人可以帮我吗？ 谢谢。
I need some help in understanding the material in SICP's section 4.1.6 on Internal definitions.
I understand the problem raised when mutually recursive functions are defined. But i dont understand how it is solved by transforming the following lambda expression
(lambda <vars >
(define u <e1 >)
(define v <e2 >)
<e3 >)
into:
(lambda <vars >
(let ((u ’*unassigned*)
(v ’*unassigned*))
(set! u <e1 >)
(set! v <e2 >)
<e3 >))
Can someone help me out here? Thanks.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
如果
v，则会失败 -v尚未定义（尚未定义 /em>，但不部分是重要的部分）。 但在第二种形式中，当您到达v已定义（尽管不是但已分配 - 但没关系！-）。If
<e1>tries referring tovin the first form, it fails --vis not defined (not yet, but the not part is the important one). But in the second form,vis defined by the time you get to<e1>(though not yet assigned -- but that's ok!-).