Linguagem_Imperativa

Prévia do material em texto

Paradigmas de linguagem de programação
• O que é um paradigma
– Tipos de paradigmas
• Paradigma Imperativo
– Origem
– Características 
– Programação estruturada
– Elementos da programação imperativa
O que é um Paradigma 
Um paradigma de programação impõem a forma com que o 
desenvolvedor do programa analisa os dados, ou seja, determina a
maneira como o mesmo enxerga o problema.
O que é um paradigma
• Imperativo
• Funcional
• Lógico
• Orientado a objeto
Tipos de paradigmas
Paradigma Imperativo
É um paradigma de programação que descreve a computação como 
ações, enunciados ou comandos que mudam o estado (variáveis) de 
um programa. 
Paradigma Imperativo
O fundamento da programação imperativa é o conceito de 
Máquina de Turing.
Foi aprimorada por John Von Neumann.
Paradigma Imperativo
Origem
As primeiras linguagens de programação imperativas eram linguagens 
de máquina, com instruções simples mas de construção complexa. 
Instruções de máquina foram logo substituídos com linguagens de 
montagem que são essencialmente transliterações de código de 
máquina.
Paradigma Imperativo
Linguagens de programação que baseiam-se no 
modelo imperativo:
• FORTRAN 
• ALGOL (1960)
• COBOL (1960)
• BASIC (1964) 
• PASCAL (1970)
• C (1970)
• ADA (1974-1983)
• PHP
• Java
• Python
• Lua
Paradigma Imperativo
Características 
O paradigma imperativo está baseado na ideia de um estado que 
sofre modificações durante a computação. 
O estado é representado por um conjunto de associações de 
identificadores (variáveis globais e locais ativas do programa) em 
valores.
Paradigma Imperativo
Características 
• Variáveis: modelam as células de memória
• Comandos de atribuição: são baseados nas operações de 
transferências de dados e instruções.
• Execução sequencial de procedimentos
• Forma interativa de repetição
Paradigma Imperativo
Características 
Paradigma Imperativo
Linguagens de programação funcional, como por exemplo Haskell, não são 
uma sequência de afirmações e não possuem, por consequência, um 
estado global como as linguagens imperativas. Linguagens de 
programação lógica, como exemplo Prolog, frequentemente definem "o 
que" é para ser computado, mais do que "como" computar, como seria 
normal em uma linguagem imperativa.
As linguagens de programação imperativa contrastam com outros tipos de 
linguagem, tais como linguagens de programação declarativa, funcional e 
lógica.
Paradigma Imperativo
Em linguagens puramente imperativas, como Assembly, é muito fácil o 
programador criar códigos de difícil leitura, pois esse tipo de linguagem 
possui o que se chama de saltos (jumps) em sua estrutura. Estes saltos 
funcionam da seguinte forma: o programador define uma marcação (label) 
no código e depois, a partir de qualquer parte do programa, ele pode 
executar um desvio de fluxo de execução (salto) para aquela marcação.
Paradigma Imperativo
Pode ser que à primeira vista isso não tenha problema, contudo, na 
depuração do código, o programador fica em apuros com tantas marcações 
e saltos, pois isso dificulta o entendimento do fluxo de execução do 
programa.
Paradigma Imperativo
Programação estruturada é uma forma de programação de 
computadores que preconiza que todos os programas possíveis podem 
ser reduzidos a apenas três estruturas:
Programação estruturada 
• Estruturas de sequência: Onde uma tarefa é executada após a outra, 
linearmente.
• Estruturas de decisão: Onde, a partir de um teste lógico, determinado 
trecho de código é executado, ou não.
• Estruturas de iteração: Onde, a partir de um teste lógico, determinado 
trecho de código é repetido por um número finito de vezes.
Paradigma Imperativo
Os principais elementos da programação imperativa são:
Elementos da programação imperativa
• Modularidade dos Algoritmos (Programação estruturada)
• Modularidade das Estruturas de dados (Tipos abstratos de dados)
• Recorrência
Paradigma Imperativo
Vantagens 
• Eficiência (embute o modelo Von Neumann)
• Paradigma dominante e bem estabelecido
• Modelagem natural de aplicações do mundo real
• Possui tipagem fraca e também muito flexível (alguns especialistas 
consideram isso uma desvantagem)
• É fácil de se entender, sendo amplamente usada em cursos 
introdutórios de programação.
Paradigma Imperativo
Desvantagens 
• Possui difícil legibilidade e facilita introdução de erros em sua 
manutenção
• Descrições demasiadamente profissional focaliza o "como" e não o 
"quê"
• Relacionamento indireto com a E/S (indução a erros/estados)
• Ainda se foca em como a tarefa deve ser feita e não em o que deve 
ser feito.
• Tende a gerar códigos confusos, onde tratamento dos dados são 
misturados com o comportamento do programa.
Paradigma Imperativo
Desvantagens 
• Possui difícil legibilidade e facilita introdução de erros em sua 
manutenção
• Descrições demasiadamente profissional focaliza o "como" e não o 
"quê"
• Relacionamento indireto com a E/S (indução a erros/estados)
• Ainda se foca em como a tarefa deve ser feita e não em o que deve 
ser feito.
• Tende a gerar códigos confusos, onde tratamento dos dados são 
misturados com o comportamento do programa.
Componentes 
• Cristina Abrantes
• David Cristian
• Eliete Miranda
• Shayne Lima