。用Scheme创始人的话讲，Scheme中的codice_5不仅是定义函数的功能，而是整个语言的控制结构与环境操作语句。Scheme的这一特性使得形式化证明变得非常容易。
代码块结构.Scheme的代码块结构来自更早时候的ALGOL语言。在Scheme中，本地变数可以由codice_12，codice_13，与codice_14产生。这些语句实际上与codice_5等同：它们都通过函数的形式参数来实现本地变数。例如，(let ((foo 10))这三者的区别在于，codice