深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
协议 (面向对象编程)
一些编程语言提供对协议/接口的显式的语言支持：Ada、C#、D、Dart、Delphi、Go、Java、、Object Pascal、Objective-C、PHP、Racket、、Swift。在C++中接口叫做抽象基础类，并被使用纯虚函数实现。Perl中的面向对象特征也支持接口。