深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
教育编程语言列表
Squeak 是一个现代的，开源的，功能齐全的 Smalltalk 程序设计语言和执行环境。Smalltalk 是一个面向对象，拥有动态类型和反射特性的程序设计语言，用来支持“人机共栖”这个“新的世界”的计算典范。像Lisp 一样，它有影像式持久性（image-based persistence），所以通过语言本身能对所以任何事物进行修改（参见 Smalltalk＃反射）。Smalltalk 在面向对象编程和 JIT 及时编译等方面给行业带来了深远的影响。Squeak 是在广泛开发项目中使用的工具，包括多媒体应用，教育平台和商业网络应用程序等。Squeak 被设计为高度可移植的，调试，分析和维护亦是如此，这是因为 Squeak 的虚拟机完全用Smalltalk 编写的，Squeak 的主页维护着免费的教程列表，Stéphane Ducasse 则维持着大量 Smalltalk 和 Squeak 相关的在线书籍。现如今使用最广泛的，采纳了许多 Smalltalk 的设想的语言是 Objective-C。