深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
第三代编程语言
現今流行的程式語言，像是C语言、C++、C#、Java、BASIC及Pascal也都是第三代程式語言，不過這些語言會依照其他特質有其他的分類。大部份的第三代程式語言支援结构化编程，其中許多語言也支援面向对象程序设计，一般會用這些特質來幫程式語言分類，不會單單的只稱一種程式語言為第三代程式語言。