深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
阵列编程
支持阵列编程的现代编程语言（也叫做向量或多维语言），已经具体的工程设计为将在标量上的运算，推广为透明的适用于向量、矩阵和高维数组。其典型例子是APL、Fortran 90、J语言，其他例子还包括：、Cilk Plus、Julia、Mata、MATLAB、Python语言NumPy扩展、Octave、（PDL）、R、（作为列表）、Wolfram语言等。在这些语言中，在一个整体的阵列上的运算可以叫做“向量化”运算，无论它是否执行于向量处理器（它实现了向量指令）。阵列编程原语（primitive）简明的表达了关于数据运算的宽泛想法。这种简明程度在特定情况下可能是戏剧性的：不难发现与阵列编程语言的一行程序相对应Java程序有时需要很多页代码。