No que diz respeito aos paradigmas de linguagens de programação, há vários tipos, dos quais dois são detalhados a seguir.

I. Esse paradigma é bastante conhecido e foi popularizado com a linguagem de programação Java, ao permitir uma programação multiplataforma de uma mesma maneira. Surgiu como uma grande aposta para resolver gargalos da indústria de software, como produzir programas de forma mais rápida, com maior confiabilidade e a um custo menor. Para que uma linguagem de programação seja enquadrada neste tipo de paradigma, deve implementar seus três alicerces básicos, que são os conceito de herança, polimorfismo e encapsulamento.

II. Esse paradigma é também chamado de procedural, no qual as instruções devem ser passadas ao computador na sequência em que devem ser executadas, sendo suportado por diversos tipos de linguagem de programação como Cobol, Fortran e Pascal. Nesse tipo, o programador passa uma espécie de passo-a-passo dos procedimentos que a máquina deverá executar - daí o nome procedural. É recomendado em projetos nos quais não se espera que haja mudanças significativas ao longo do tempo, quando se tratar de uma operação complexa ou quando não existiram muitos elementos compartilhados. Esse paradigma tem a vantagem de ser eficiente e de permitir uma modelagem tal qual o mundo real, além de ser bem estabelecido e bastante flexível. Por outro lado, o código fonte gerado é de difícil legibilidade.

Os paradigmas descritos em I e II são denominados, respectivamente