如codice_3等同于λ演算语句codice_4。基于这一特性，Scheme的解释器可以得到极大的精简。
λ演算.Scheme的函数式范型主要受到了邱奇的λ演算的影响。在Scheme中，「codice_5」关键词被用于定义匿名函数，且所有非匿名函数都可以被视作取值为codice_5函数的变数。（换句话说，codice_7与codice_8在语法上是等同的，而前者在直译器中会被译为后者。）这一设定在历史上推动了函数式程式语言的发展。事实上，Scheme中所有函数式控制语句都可以用