第四讲 定义函数.pdf

第四章 定义函数 4 .1 简介 4 .2 如何定义简单函数并加载它们 4 .3 定义有参数的函数 4 .4 ⼀种函数定义的短形式 4 .5 关于编辑器 4 .6 ⼩结 4 .7 习题 答 4.1 简介 在前⾯的章节中，我已经讲 了： 1. 如何安装MIT-Scheme ； 2. Scheme 释器是如何对S-表达式求值； 3. 基本的表操作； 在本章中，我会讲 如何⾃定义函数。由于Sheme是函数式编程语⾔，你需要通过编 写⼩型函数来构造程序。因此，明⽩如何构造并组合这些函数对掌握Scheme尤为关 键。在前端定义函数⾮常不便，因此我们通常需要在⽂本编辑器中编辑好代码，并在 释器中加载它们。 4.2 如何定义简单函数并加载它们 你可以使⽤define来将⼀个符号与⼀个值绑定。你可以通过这个操作符定义例如 数、字符、表、函数等任何类型的全局参数。 让我们使⽤任意⼀款编辑器 （记事本亦可）来编辑代码⽚段1中展⽰的代码，并将它 们存储为hello.scm，放置在类似于C:\doc\scheme\的⽂件夹下。如果可以的 话，把这些⽂件放在你在第⼀章定义的MIT-Scheme默认⽂件夹下。 代码⽚段1 （hello .scm ） ; Hello world as a variable (define vhello Hello world) ;1 ; Hello world as a function (define fhello (lambda () ;2 Hello world)) 接下来，向Scheme 释器输⼊下⾯的命令： (cd C:\\doc\\scheme) ;Value 1 : #[pathname 1 c:\\doc\\scheme\\] (load hello.scm) ;Loading hello.scm -- done ;Value: fhello 通过这些命令，hello.scm就被加载到 释器中。如果你的当前⽬录被设定在了脚 本所在⽬录，那么你就不需要再输⼊第⼀⾏的命令了。然后，向 释器输⼊下⾯的命 令： vhello ;Value 15: Hello world fhello ;Value 16: #[compound-procedure 16 fhello] (fhello) ;Value 17: Hello world 操作符define⽤于声明变量，它接受两个参数。define运算符会使⽤第⼀个参数作 为全局参数，并将其与第⼆个参数绑定起来。因此，代码⽚段1的第1⾏中，我们声明 了⼀个全局参数vhello，并将其与Hello，World绑定起来。 紧接着，在第2⾏声明了⼀个返回“Hello World”的过程。 特殊形式lambda⽤于定义过程。lambda需要⾄少⼀个的参数，第⼀个参数是由定义 的过程所需的参数组成的表。因为本例fhello没有参数，所以参数表是空表。 在 释器中输⼊vhello， 释器返回“Hello ，World” 。如果你在 释器中输 ⼊fhello，它也会返回像下⾯这样的值：#[compound-procedure 16 fhello]，这说明了Scheme 释器把过程和常规数据类型⽤同样的⽅式对待。正如我 们在前⾯章节中讲 的那样，Scheme 释器通过内存空间中的数据地址操作所有的数 据，因此，所有存在于内存空间中的对象都以同样的⽅式处理。 如果把fhello当过程对待，你应该⽤括号括住这些符号，⽐如(fhello)。 然后 释器会按照第⼆章讲述的规则那样对它求值，并返回“Hello World” 。 4.3 定义有参数的函数 可以通过在lambda后放⼀个参数表来定义有参数的函数。将代码⽚段2保存 为farg.scm并放在同hello.scm⼀致的⽬录。 代码⽚段2 (farg .scm ; hello with name (define hello (lambda (name) (string-append Hello name !))) ; sum of three numbers (define sum3 (lambda (a b c) (+ a b c))) 保存⽂件，并在 释器中载⼊此⽂件，然后调⽤我