Programação declarativa [prolog, haskell, miranda, sql, ...] - é um modo de aproxima as programação de computadores que toma um ponto de vista diferente das linguagens imperativas tradicionais. Enquanto numa linguagem imperativa se dá ao computador uma lista de instruções para executar numa certa ordem, em programação declarativa decreve-se ao computador um conjunto de condições e deixa-se o computador decidir como as há-de satisfazer do melhor modo.

Programação numérica [fortran, gnumeric, matlab, mathematica, ...] - refere-se ao tipo de programação que trata quase exclusivamente de operações matemáticas entre variáveis. A maior parte dos tipos existentes na matemática currente (vectores, matrizes, escalares, ...) já se encontram pré-definidos nestas linguagens e o seu uso pode, por vezes, ser simbólico (uso de funções em vez de números, por exemplo, plot(sin(x)) em vez de plot(x) com x = [...]). As operações entre estes tipos encontram-se optimizadas.

Programação scripting [javascript, htlm, php, asp, wml, xml, perl, ...] - linguagens baseadas em scripts: um script, em termos latos, é um programa que automatiza um tipo de tarefa que o utilizador efectuaria, de outro modo, manualmente. Um script de terminal consiste de um grande número de comandos escritos na linha de comandos (pode ir de um comando a uma sequência de milhares). Muitas das linguagens de scripting são bastante sofisticadas e têm sido usadas para elaborar programas complexos, chamados scripts, mesmo indo além do escopo "normal" destas linguagens (este Fórum foi escrito em PHP, uma linguagem de scripting). A principal diferença em relação a outras linguagens é, provavelmente, o facto dos programas não serem compilados, mas interpretados na altura de execução

Programação orientada a objectos [c++, java, smalltalk, ...] - é capaz de ser a definição mais difícil de conseguir, pois está constatemente a ser "atacada". Mas em geral as linguagens orientadas a objectos referem-se á prática de ver o software em termos de coisas (objectos) que são manipulados, em vez de acções que perfaz. Os conceitos mais importantes neste tipo de linguagens são: objectos, abstracção; encapsulamente; polimorfismo; herança.

Programação visual [delphi, visual basic, visual c++, ...] - refere-se a um sistema que permite a um utilizador especificar programas em duas ou mais dimensões, manipulando informação visual e suportando interacção visual, com expressões visuais. Este tipo de linguagens fornece elementos icónicos ou gráficos que podem ser manipulados pelo utilizador.

Programação imperativa [fortran, algol, pascal, c, ada, ...] - contrariamente a programação declarativa, a programação imperativa introduz um paradigma de programação que descreve a computação em termos de um estado de um programa e acções que modificam esse estado, tal como o modo imperativo nas linguagens naturais (faladas e escritas) expressa comandos para perfazer acções, as linguagens imperativas expressam uma sequencia de comandos para um computador efectuar.