深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
教育编程语言列表
Scheme 最初是在 1975 年出于教学目的而设计的语言（参加[9] LISPs of the day used non-recursivecontrol structures to implement lambda calculus以非递归的控制结构实施λ演算），这主要是因为Lisp 仍然在硬件实现具有高效率。Guy L.Steele,Jr 和 Gerald Jay Sussman 创造出了 Scheme，通过使用简洁高效的 Lisp 过程调用，使得 Scheme 成为最快的解释型语言之一。从语言教学上来讲，可以通过以 domain-specific languages（DSL,特定领域语言）和 MetacircularEvaluator（元循环计算）的方式来进行。1984年出版的《Structure and Interpretation of Computer Programs》（《计算机程序的构造和解释》）将这种教育理念纳入了经典的教学课本中，从而改变了 Pascal 在大学程序设计语言中的优势地位。