深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
第四代程式語言
第四代程式語言的概念是從1970年代到1990年代之間形成，和大部份的第三代程式語言發展有重疊。像是C语言、C++、C♯、Java及JavaScript仍常出現在許多應用中，而第四代程式語言最早是針對較專門的應用所規劃。一些晚期的第三代程式語言，像是Python、Ruby及Perl已結合了一些第四代程式語言的能力，但仍在通用第三代程式語言的環境下運作。大部份流行的第三代程式語言也有函式庫支援類似第四代程式語言的功能，因此兩者的分界越來越來模糊。