深奥的编程语言
编程语言的范型可以分为若干类别，这些类别可以用来大致了解特定语言的操作方式。其中包括命令式语言，如brainfuck，其指令描述了如何修改数据；函数式语言，如Unlambda，其中的数据和代码都或多或少地可交换，而程序的执行是通过重复迭代调用函数实现的；和重写语言，如Thue，其中可以使用变换函数使状态初始化。
模块化编程
正式支持模块概念的语言包括：Ada、Algol、、C#, Clojure、COBOL、D、Dart、、Erlang、Elixir、Elm、、F#、Fortran、Go、Haskell、汇编语言、（CL）、、Java、MATLAB、ML、Modula、Modula-2、Modula-3、Morpho、、Oberon、、Objective-C、OCaml、一些派生的Pascal（、Object Pascal、Turbo Pascal、UCSD Pascal）、 Perl、PL/I、PureBasic、Python、Ruby、Rust、JavaScript、Visual Basic .NET、WebDNA。