Linguagem Imperativa

PARADIGMA IMPERATIVO

O que é Paradigma Imperativo?

O fundamento para a programação imperativa é o conceito da Máquina de Turing, que nada mais é que uma abstração matemática que corresponde ao conjunto de funções computáveis.
A máquina de Turing foi aproximada pro John Von Neumann a uma arquitetura de computadores que fundamenta os computadores construídos até hoje.
Isso explica, em parte, o sucesso das linguagens que seguem esse paradigma em relação às demais.
Os paradigmas imperativos são aqueles que facilitam a computação por meio de mudanças de estado. Dividem-se em:
O paradigma procedural. Neste paradigma, os programas são executados através de chamadas sucessivas a procedimentos separados. Exemplos de linguagens deste paradigma são o Fortran e o BASIC.
O paradigma de estruturas de blocos. A característica marcante deste paradigma são os escopos aninhados. Exemplos de linguagens deste paradigma são o Algol 60, Pascal e C.
O paradigma de orientação a objetos. Este paradigma descreve linguagens que suportam a interação entre objetos. Exemplos de linguagens deste paradigma são C++, Java, Python e Ruby.
O paradigma da computação distribuída. Este paradigma suporta que mais de uma rotina possa executar independentemente. Um exemplo de linguagem deste paradigma é a linguagem Ada.
Em que se baseia o paradigma imperativo?

Paradigma, de forma simplificada, é o estilo empregado na programação. O paradigma imperativo (ou procedimental) foi o primeiro a ser empregado em linguagens de programação, pois é o mais ajustado à linguagem que o computador emprega em baixo nível, na forma de sequências de comandos. Assim, em uma linguagem imperativa, o programa é semelhante a uma receita, onde são informados os passos necessários à realização de uma tarefa.
Origens

ALGOL (1958, 1960,...): Maior facilidade de expressas algoritmos matemáticos.
C (1972): Criada por Dennis Ritchie, no AT&T Bell Labs, para desenvolver o sistema operacional Unix (que foi