问评价与执行(计划)

EN

1评价

求值是对其结果运行一些代码的过程。例如：(+ 1 2) ;==> 3。在这个特殊的例子中，+是需要在环境中的空闲变量。它可以计算为全局prcedure +，也可能是在此之前运行的代码中的词法变量。

2环境

环境是在某一点上可以访问的变量。例如：

(define x 10)
(define f1 (lambda (y) (+ x y))
(define f2 (let ((x 5))
              (lamdba (y) (+ x y))))

用于验证f1和f2的lambda表单在意义上是相等的，它们做的事情完全相同。环境的不同。

(f1 3) ; ==> 13
(f2 3) ; ==> 8

f2的x的作用域不再多，但它在procedure中是引用的，在运行它时是可访问的，而不是从任何其他地方。计算的lambda表单(即过程)也称为闭包，因为在应用该lambda表单(过程)的结果时，在计算点可以访问的变量是可访问的。

3初始值

启动Scheme程序时，您有一个初始的全局环境。定义了像+和cons这样的变量。我不确定这就是你想要的。也许你应该举个例子来说明你在想什么？

4 let，let*，letrec和lambda

在所有的例子中都有这样的例子：

(define x 10)
(define f (lambda (x) x)

每个人都会变成匿名的lambda函数调用。我只做一个级别，但由于您可以将let*转换为let，将let转换为lambda，所以您可以将所有这些转换为许多lambda表单。下面是操作步骤：

(let ((a 1) (b 2) ...) body ...)与((lambda (a b ..) body ...) 1 2 ...)相同，因此这是正确的：

(let ((x 5) (y (+ x 1)) (f (lambda (x) (if (< 5 x) (f (- x 1)) x))))
  (list x y (f 10))) ; ==> (5 11 9)

(let ((a 1) (b 2)) body ...)与(let ((a 1)) (let ((b 2)) body ...)相同，因此这是正确的：

(let* ((x 5) (y (+ x 1)) (f (lambda (x) (if (< 5 x) (f (- x 1)) x))))
  (list x y (f 10))) ; ==> (5 6 9)

(letrec ((a 1) (b 2)) body ...)与(let ((a 'undef) (b 'undef)) (let ((tmpa 1) (tmpb 2)) (set! a tmpa) (set! b tmpb)) body ...)相同，因此这是正确的：

(letrec ((x 5) (y (list x 1)) (f (lambda (x) (if (< 5 x) (f (- x 1)) x))))
  (list x y (f 10))) ; ==> (5 (undef 1) 5)

注意，我将+更改为list，因为(+ 'undef 1)不能工作。您的方案实现可能使用任何值来代替undef。什么时候用什么？尽可能多地使用letrecand namedletfor procedures that you need to recurse, uselet*for variables where you rely on a previous calculation (it keeps you from writing nestedletforms and uselet`。

因此，假设您有一个不是递归的过程，一个变量和一个派生的变量可以使用let*。

(let* ((sq (lambda (x) (* x x))) ; given this is a top level it will have global environment
       (x (sq 5))
       (y (sq 10))
       (res (+ x y)) ; here I'm using both x and y
  (do-something res))

5项声明

的确有。如果我想创建全局变量，我会这样做：

(define test 55)
(define fun (lambda (x) (+ test x))