子与函数定义功能组成。这一设计对Scheme的影响非常深刻。麦卡钖最早提出两套语法：所谓「M表示式」是通常熟知的函数语法，如codice_1。在麦卡钖原本的设计中，用M表示式写成的程式将自动译至「S表示式」，如codice_2，然而由于S表示式具备同像性（即程序与数据由相同的结构存储），实际应用中一般只使用S表示式。Scheme的语法即来自S表示式。这一特性使得在Scheme中实现自循环直译器变得非常简单。
起源.Scheme的灵感来自麻省理工学院的Carl Hewitt提出的