Scheme是一种函数式编程语言，是Lisp的两种主要方言之一（另一种为CommonLisp）。不同于CommonLisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具（语法糖）来扩展语言本身。
麻省理工学院与其他院校曾采用Scheme教授计算机科学入门课程。著名的入门教材《计算机程序的构造和解释》（SICP）利用Scheme来解释程序设计。Scheme的广泛受众被视为一个主要优势，然而不同实现之间的差异成为了它的一个劣势。
Scheme最早由麻省理工学院的盖伊·史提尔二世与杰拉德·杰伊·萨斯曼在年代发展出来，并由两人发表的“λ论文集”推广开来。Scheme语言与λ演算关系十分密切。小写字母“λ”是Scheme语言的标志。
超实用性的Python零基础入门到进阶视频源码淘宝￥2购买已下架Scheme的哲学是：设计计算机语言不应该进行功能的堆砌，而应该尽可能减少弱点和限制，使剩下的功能显得必要。Scheme是第一个使用静态作用域的Lisp方言，也是第一个引入“干净宏”和第一类续延的编程语言。
Scheme起源于约翰·麦卡锡于年提出的Lisp语言。通过Lisp，麦卡锡证明了图灵完备的系统可以仅仅由几个简单的算子与函数定义功能组成。这一设计对Scheme的影响非常深刻。
麦卡锡最早提出两套语法：所谓“M表示式”是通常熟知的函数语法，如car[cons[A,B]]。在麦卡锡原本的设计中，用M表示式写成的程序将自动译至“S表示式”，如(car(consAB))，然而由于S表示式具备同像性（即程序与数据由相同的结构存储），实际应用中一般只使用S表示式。Scheme的语法即来自S表示式。这一特性使得在Scheme中实现自循环解释器变得非常简单。
Scheme的灵感来自麻省理工学院的CarlHewitt提出的一种叫做演员模型的数学模型。Hewitt当时正在试图将演员模型加入Planner语言，而受其影响的史提尔与萨斯曼决定在Maclisp中实现一个支持演员模型的Lisp方言。
史提尔与萨斯曼两人很快发现演员模型与λ演算非常类似，而所谓“演员”不过是PeterJ.Landin提出并由JoelMoses于年发表的闭包而已。因此，两人很快意识到这是将词法变量范围介入到Lisp中实现的关键。基于这一见解，两人很快开发出了一套精简的编程语言，并命名为“Schemer”（后因操作系统字数限制改为Scheme）。
尽管Hewitt认为Scheme抽象性的不足是一个倒退，它简约的语法很快赢得广泛接受，并成为最具影响力的编程语言之一。在Scheme被广为接受后，史提尔与萨斯曼曾承认他们事实上没有可以实现Scheme的简约性。两人认为简单而强大的λ演算最终使得Scheme得以实现极度的精简化。
“λ论文集”是Scheme的发明人史提尔与萨斯曼所撰写的关于编程语言设计的一系列论文，最早作为麻省理工学院的内部备忘录发表。Scheme的功能很大一部分是由这些论文确立的。通常认为λ论文集包括：
目前Scheme由IEEE负责标准管理，并由一个专门的委员会发表的“算法语言Scheme报告，第N版”（RevisednReportontheAlgorithmicLanguageScheme）进行标准化。现在的标准是年的R5RS，并且R6RS[9]已经在年被批准了。R6RS带来了很大的变动，导致Scheme社区对其意见不一，更有一些用户指责R6RS仅仅是在堆积华而不实的功能。
Scheme的标准委员会目前正在讨论R7RS的事宜，并决定是否将Scheme分为两个独立的语言：一个为教育者提供精简的语法，另一个为专业人士提供强大的功能。
Scheme大体上是一个函数式编程语言，并支持其他编程范型。它的语法基于Lisp的S-表达式：函数调用在Scheme中表示为一个串列，其中第一个元素为函数名，而后的元素为函数的参数。
一个Scheme程序是由嵌套串列表达而成，而串列又是Scheme的主要数据结构，这导致程序和资料在Scheme中基本上是等价的概念。因此每一个Scheme程序都可以被视为另一个Scheme程序的参数。Scheme程序可以轻易读入并分析其他Scheme程序，就是所谓的同像性。
该特性被用于“代码即数据”的设计思维中，它极大提高了语言表达性和灵活性。但也有批评认为对该特性的不当使用将造成反效果，将数据当作代码需要借助eval在运行时求值，这不利于编译优化；另外代码可以被当作数据一样被修改（即所谓程序自修改）可能会造成程序逻辑混乱。
Scheme的列表与其他Lisp方言都是基于最基础的数据结构“有序对”（pair）。Scheme提供cons，car，与cdr方法操作有序对与列表。
Scheme的变量都使用动态强类型系统，而函数被视为变量的一种，并可以作为参数提供给其他函数。换句话说，Scheme中的函数都是第一类对象。
Scheme是最早实现尾部递归优化的Lisp方言。换句话说，Scheme中所有尾部递归都会被自动作为循环解释（Scheme支持do语句，但是一般Scheme中循环都会写作递归）。尾部递归优化使得Scheme支持任意数目的尾部递归调用，而无需担心堆栈溢出。
根据Scheme语言规范，Scheme中的标准语句可分为“标准模式”（Standardform）与“标准过程”（Standardprocedure），其中标准模式提供语言的控制结构，而标准过程提供一些常用的功能。下表给出所有R5RS所定义的标准语句（R6RS在这一基础上加入了大量标准过程，因此无法全部列出）。
Scheme的精简设计使得编程语言设计人士与爱好者特别钟爱研究它的实现，很多嵌入式系统语言与脚本语言即是基于Scheme。Scheme的实现一般小而精简，造成了很多不可互通的实现互相竞争。
尽管Scheme的精简性是它的一个主要长处，但试图使用Scheme编写既复杂又便于移植的程序往往比较困难，主要原因之一，是因为Scheme没有库函数标准。而R6RS试图完成这样的工作，它定义了两套标准，核心语言以及标准库。这使得Scheme第一次有了库函数标准，也使得编译器开发者和贡献者可以实现Scheme的可移植库。
几乎所有Scheme实现都是基于Lisp的“读取﹣求值﹣输出循环”（Read-Eval-PrintLoop）模式。一些Scheme实现亦可作为编译器，并将Scheme程序译为二进制码。很多用类似C的基础语言写成的软件都利用Scheme作为脚本语言。还有一些Scheme翻译器（例如Gambit，Chicken，Bigloo等）可将Scheme程序译为C或Java，或甚至.Net。将Scheme译作C的翻译器往往可以在源代码中利用C的特性。
最基本的Scheme实现是在《计算机程序的构造和解释》中实现的自循环解释器。这一解释器以Scheme写成，并利用底层的Scheme功能来实现被运行的Scheme语言程序。尽管在实际上这一解释器的意义不大（要想运行自循环解释器，电脑中必须已经存在一个Scheme解释器），它简单的语法可以帮助用户理解Scheme的运行过程。