深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
教育编程语言列表
Lisp 是现如今使用的计算机语言家族中第二古老的语言，因此拥有大量的方言以及广泛的实现。Lisp 最初是作为计算机程序的实用数学记法而创立的，基于λ演算，这使得它特别适合于理论计算的教学。作为最早的程序设计语言之一，Lisp 开创了许多计算机科学概念的先河，包括树形数据结构、自动存储管理、动态类型、面向对象编程、自足执行的编译器（self-hosting compiler）。这些概念对于学习计算机科学而言是十分有帮助的。