Scheme自学教程 2

导读:
  由 stelee 于 周日, 11/18/2007 - 09:06 提交。programming
   Scheme自学教程 2
   第三章 代码块(Forms)
  读者也许注意到了,在前面那些Scheme的例子中列举了如此多的S表达式,其中隐藏的事实是:程序就是数据。因此,#/c就是一个程序,或者我们可以称为代码块(Forms)。以后,我们会使用更加正式的词汇form来代替程序片段这个说法。scheme执行form #/c从而得到一个值#/c,因为#/c是可以自我求值的。并不是所有的S表达式都是可以自我求值的,比如说,对于symbol的s表达式 xyz来说,其求值的是xyz本省或代表的变量。而列表s表达式(string->number "16")求值结果是数字16。
  并不是所有的s表达是都是有效的程序。如果你写如下的代码(1 . 2),则不会通过编译。Scheme运行一个列表样式的form,首先检查第一个元素,或者说检查head,如果head被执行为一个过程(procedure),那么剩下的则被认为是head元素的参数。这个过程就被 应用(apply)于这些参数上
  如果form的head是一个特殊的form,就会以一种特殊的方式来处理,这样的特殊的form,我们见过的包括begin,define和set!,begin就意味着它的子form按顺序执行,整个form的返回值就是最后一个子form的返回值,define定义并给一个变量赋值,set!改变变量绑定的值。
  译者废话:这段话翻译的真的是很费劲,你看懂了吗?我是大概理解了,如果不理解的话,欢迎与我联系
  3.1 过程
  We have seen quite a few primitive Scheme procedures,
  eg, cons, string->list, and the like. Users
  can create their own procedures using the special form
  lambda. For example, the following defines a
  procedure that adds 2to its argument:
  我们已经看到了好多Scheme内置的过程,包括cons,string->list等等。其实用户还可以通过著名的标志性的语句 lambda自己来定义过程。比如说,下面这个例子就定义了一个自动 加2的过程:
  (lambda (x) (+ x 2))
  The first subform, (x), is the list of parameters.
  The remaining subform(s) constitute the procedure's
  body. This procedure can be called on an argument,
  just like a primitive procedure:
  第一个子语句 (x),定义了过程的参数。剩下的所有的子语句就是过程体了,定义完毕后,这个过程就可以像内置的过程那样被使用了。
  ((lambda (x) (+ x 2)) 5)
   =>7
  当然,当然,如果我们要多次调用这个函数的话,不用这么麻烦的,记住:函数是第一公民,和整数,字符串一样,所以我们可以用一个变量来代表这个函数。
  (define add2
  (lambda (x) (+ x 2)))
  从此以后事情就变得简单了:
  (add2 4) =>6
  (add2 9) =>11
  3.1.1 过程参数
  lambda-过程的参数是在它的第一个子form中被定义的(就是符号lambda之后的第一个form),add2是一个只有一个参数——官方的说法叫做一元参数——的过程。所以他的参数列表是只有一个元素的列表 (x)还记得列表吗?这和我们熟悉的命令式语言基本一样,有一点,所有的变量x都是 局部的。
  同样我们可以定义两元或者多元参数的过程:
  (define area
  (lambda (length breadth)
  (* length breadth)))
  注意,这里我们其实可以有一个更加投机取巧的办法:
  (define area *)
  3.1.2 变参
  学过JavaScript的,PHP的或者Python的同学一定对可变参数很熟悉了。学过Java或者C#的同学,我们很同情你们必学写很多重载来模拟这个过程。为了实现这一点。参数列表必学使用一个特殊的符号来标记(又是特殊符号,不过相对很多语言来说,Scheme里面的特殊符号或者所谓的语法糖已经很少了)这个特殊的符号就代表着将要被调用的参数。
  一般来说,我们用(x ...)来表示变参。一个符号,或者说一个点对类型的form (x ... . z),在点对类型点前面的那部分在过程调用的时候与调用的参数进行匹配。点后面的变量,则把剩下的参数作为一个list存下来
  说实话,这段话我也不太理解,主要是没有例子,附上原文,大家参考
  In general, the lambdaparameter list can be a list
  of the form (x ...), a symbol, or a dotted pair of
  the form (x ... . z). In the dotted-pair case, all
  the variables before the dot are bound to the
  corresponding arguments in the procedure call, with the
  single variable after the dot picking up all the
  remaining arguments as one list.
  3.2应用(apply)
  Scheme通过使用过程 apply 来调用一个过程(第一个参数),并把这个过程应用到第二个参数的列表元素上(其实就是把第二个参数列表元素作为第一个参数过程的参数)
  (define x '(1 2 3))
  (apply + x)
   =>6
  一般来说,apply后面跟一个参数作为所要调用的过程,在后面跟着数量不一的所要使用的其他参数。而最后一个必须是一个列表。其构造方法就是先应用过程和最后一个参数,计算出结果,然后结合其他的参数作为这个过程调用的新的参数。
  (apply + 1 2 3 x)
   =>12
  我理解其背后的机制应该是: (+ 1 2 3 (+ 1 2 3))
  3.3 顺序
  We used the beginspecial form to bunch together a
  group of subforms that need to be evaluated in
  sequence. Many Scheme forms have implicit
  begins. For example, let's define a 3-argument procedure that
  displays its three arguments, with spaces between
  them. A possible definition is:
  我们可以通过begin这个特殊的form来组织一系列的子form从而让他们可以按照一定的顺序来执行。许多Scheme的form都要求必须以begin来开始,比如如果我们要定义一个过程,按顺序
  (define display3
  (lambda (arg1 arg2 arg3)
  (begin
  (display arg1)
  (display " ")
  (display arg2)
  (display " ")
  (display arg3)
  (newline)))
  在Scheme中,lambda的函数中默认使用begins,所以在我们下面定义的display3中间并不需要显示的使用begin,当然使用了也没有什么坏处,不用只会让事情更简单。
  (define display3
  (lambda (arg1 arg2 arg3)
  (display arg1)
  (display " ")
  (display arg2)
  (display " ")
  (display arg3)
  (newline)))
  >>
  要发表评论,请先登录

本文转自
http://www.leesoft.com.cn/node/7
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值