深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
编程语言
一个程序中专门处理数据的那个系统被称为程序语言的型态系统（）；对型态系统的研究和设计被称为型态理论（）。语言可以被分为静态型态系统（），例如C++和Java，和动态型态系统（），例如Lisp，JavaScript，Tcl和Prolog。前者可被进一步分为包含宣告型态（）的语言，即每一个变量和函数的型态都清楚地宣告，或type-inferred语言（例如MUMPS，ML）。