【Scheme归纳】6 赋值

赋值

因为Scheme是函数式语言，通常来说，你可以编写不使用赋值的语句。然后如果使用赋值的话，有些算法就可以轻易实现了。尤其是内部状态和继续（continuations）需要赋值。

R5RS中规定的用于赋值的特殊形式是set!,set-car!,set-cdr!,string-set!,vector-set!等。

因为赋值改变了参数的值，因此它具有破坏性(destructive)。
在Scheme中，具有破坏性的方法都以！结尾，以警示程序员。

set!可以为一个参数赋值。与Common Lisp不同，set!无法给一个S-表达式赋值。另外，在赋值前参数应该被定义。例如：

(define num 10) ;Value: num (set! num (* num num)) ;Value: 100 (let ((n 0)) (set!n (+ n 3)) n) ;Value: 3

赋值和内部状态

Scheme中变量的作用被限定在了源码中定义其的那个括号里。作用域与源代码书写方式一致的作用域称为“词法闭包（Lexical closure）”或“静态作用域（Static scope）”。

另一方面，还有一种被称为“动态作用域（Dynamic scope）”的作用域。这种作用域仅在程序运行时确定。但由于会在调试时带来种种问题，这种作用域现在已经不再使用。

特殊形式let,lambda,letrec生成闭包。lambda表达式的参数仅在函数定义内部有效。let只是lambda的语法糖，因此二者无异。

你可以使用词法闭包来实现带有内部状态的过程。我们通过一个简单的银行账户的例子来展示。

(define bank-account
      (let  ((balance 100))
        (lambda (n)
             (set!balance (+ balance n))
             balance)))

该过程将存款赋值为(+ balance n)，下面是调用这个过程的结果。