Scheme r5rs letrec的用法

Scheme r5rs letrec的用法

说明,这是r5rs的用法. 

(letrec ((<variable> <init>) ...) <body>) 

假设((<variable> <init>) …)是变量定义块V,<body>是执行块B.

 

letrec最常见的用法就是用于绑定函数对象,让V里面定义的所有变量可以在运行时相互引用,不受位置前后的限制.比如:

> (letrec ((x (lambda () (+ y y)))
         (y 100))
    (+ (x) y))
300

这说明运行(+ (x) y)时,函数对象x可以读取y对象的值,尽管y在x之后才绑定的. 这一点letrec很像顶层的运作模式:

> (define x (lambda () (+ y y)))
> (define y 100)
> (+ (x) y)
300

只不过letrec创建的是一个本地作用域,而且语法上更简单.

 

将letrec替换为let*或let将出错:

> (let* ((x (lambda () (+ y y)))
         (y 100))
    (+ (x) y))
. . y: undefined;
 cannot reference an identifier before its definition
> (let ((x (lambda () (+ y y)))
         (y 100))
    (+ (x) y))
. . y: undefined;
 cannot reference an identifier before its definition
> 

 

let*最多只能让靠后的variable引用靠前的variable.交换一下x,y的定义位置,就正常了:

> (let* ((y 100)
         (x (lambda () (+ y y))))
    (+ (x) y))
300

而let限制更严格,各variable只能在body中被引用:

> (let ((y 100)
        (x (lambda () (+ y y))))
    (+ (x) y))
. . y: undefined;
 cannot reference an identifier before its definition

 

当你表达式里含有一些相互递归的函数时,letrec非常合适.例如下面这个判断奇偶数的函数:

> (letrec ((ieven?
            (lambda (n)
              (if (zero? n)
                  #t
                  (iodd? (- n 1)))))
           (iodd?
            (lambda (n)
              (if (zero? n)
                  #f
                  (ieven? (- n 1))))))
    (ieven? 3))  
#f

看起来letrec很强大的样子,那么,letrec的限制是什么呢?(准确说是r5rs的限制.Racket不存在这种限制)

letrec要求<init>必须能够独立成值,否则letrec绑定就会出问题.以下摘自r5rs:

One restriction on letrec is very important: it must be possible to evaluate each <init> without assigning or referring to the value of any <variable>.In the most common uses of letrec, all the <init>s are lambda expressions and the restriction is satisfied automatically.

 比如下面这个,b绑定不了2:

> (letrec ((a 2)(b a)) b)
#<undefined>

对比顶层运作,不存在这种限制:

> (define a 2)
> (define b a)
> b
2

那为什么lambda表达式能够自动地满足这个要求呢?

因为一个lambda表达式是一个函数对象,它本身就是一个值.相当于100这种整数对象.

Scheme不会在定义时严格检查lambda.比如里面的某变量是否已绑定对象,lambda被执行时才知道会不会出问题.

> (lambda (n)(xxx? (- n 1)))
#<procedure>
> ((lambda (n)(xxx? (- n 1))) 3)
. . xxx?: undefined;
 cannot reference undefined identifier
> 

 

那let*存在的意义是什么? 看这种情况:

> (letrec ((a 2)(b a)) b)
#<undefined>
> (let* ((a 2)(b a)) b)
2
> 

let*能让(b a)读取前面的定义(a 2),从而让b等于2.letrec就不行.

而let对比let*限制更多,因此性能应该是更好的.在let和let*都能正常运行的时候,显然应该选择let.

这应该就是let,let*和letrec各自存在的意义吧.

注:方言Racket的letrec没有此限制.

> (letrec ((a 2)(b a)) b)
2

 

转载于:https://www.cnblogs.com/xiangnan/p/3387146.html

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

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/109986.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • Java创建文件和文件夹

    Java创建文件和文件夹例子。java代码:importjava.io.*;//导入所需的包publicclassIOTest{//类 publicstaticvoidmain(String[]args){//主程序,程序入口 Filefile=newFile(“D:\\Qiju_Li”); if(!file.exists()){//如果文件夹不存在 file.mk

  • python如何读写excel文件「建议收藏」

    python如何读写excel文件「建议收藏」python读写excel的方式有很多,不同的模块在读写的方法上稍有区别:用xlrd和xlwt进行excel读写;用openpyxl进行excel读写;用pandas进行excel读写;为了方便演示,我这里新建了一个data.xlsx…

  • aliddns ipv6_利用阿里云ddns动态解析ipv6地址[通俗易懂]

    aliddns ipv6_利用阿里云ddns动态解析ipv6地址[通俗易懂]目前家庭宽带基本都可以通过设置连上ipv6网络,有了ipv6之后,每台设备就都有了自己独有的ip地址,这样我们就可以通过外网利用ipv6地址直接访问家里的设备,让家里的设备实现服务器的效果。但是目前设备分配到的ipv6的地址是变化的,所以你就需要通过一些手段把变化的ipv6地址绑定到不变的域名上,这样就可以直接用域名访问家里的设备了。下面就探讨一下利用阿里云ddns动态解析ipv6地址的方法。一、…

  • CNN卷积神经网络原理详解(上)

    CNN卷积神经网络原理详解(上)CNN卷积神经网络原理详解(上)前言卷积神经网络的生物背景我们要让计算机做什么?卷积网络第一层全连接层训练前言卷积网络(convolutionalnetwork),也叫作卷积神经网络(convolutionalneuralnetwork,CNN),是一种专门用来处理具有类似网格结构的数据的神经网络。卷积网络在诸多应用领域都表现优异。‘卷积神经网络’一词表明该网络使用了卷积(convolu…

  • SRVCTL详解

    SRVCTL详解1.SRVCTL概述SRVCTL是ORACLERAC集群配置管理的工具,可以管理Database、Instance、ASM、Service、Listener和NodeApplication,N

  • 2020 年中国程序员薪资和生活现状调查报告[通俗易懂]

    2020 年中国程序员薪资和生活现状调查报告[通俗易懂]作者|程序员客栈来源|ID:proginnwx根据中国互联网络信息中心(CNNIC)近日发布第44次《中国互联网络发展状况统计报告》。截至2019年06月,中国网民规模为8.54亿,较2018年底增加2598万。网上外卖用户规模达4.21亿,较2018年底增长1516万;网络视频用户规模达7.59亿,较2018年底增长3391万;我…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号