1/46
Programação Funcional
Capítulo 1
Paradigmas de Programação
José Romildo Malaquias
Departamento de Computação
Universidade Federal de Ouro Preto
2018.2
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Guias e Dicas
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Encontrar documentos
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Pesquisar documentos Store
Os melhores documentos à venda: Trabalhos de alunos formados
Videoaulas
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Quiz
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Comunidade
Pergunte à comunidade
Peça ajuda à comunidade e tire suas dúvidas relacionadas ao estudo
Ranking universidades
Descubra as melhores universidades em seu país de acordo com os usuários da Docsity
Guias grátis
Os eBooks que salvam estudantes!
Baixe gratuitamente nossos guias de estudo, métodos para diminuir a ansiedade, dicas de TCC preparadas pelos professores da Docsity
Crise do Software: Vantagens de Linguagens Declarativas e Funcionais, Slides de Programação Funcional
Este documento discute as vantagens de usar linguagens declarativas e funcionais em programação de software, incluindo clareza, concisão, alto nível de abstração, componentes reutilizáveis, verificação formal, rápida prototipagem e poderosas ferramentas de resolução de problemas.
O que você vai aprender
- Como a verificação formal pode ajudar a melhorar a qualidade do código de software?
- Como a linguagem funcional Haskell pode ser usada para resolver problemas complexos?
- Quais são as principais vantagens de usar linguagens declarativas e funcionais em programação de software?
- Qual é a diferença entre linguagens declarativas e imperativas em termos de programação?
- Quais são as principais ferramentas de resolução de problemas oferecidas por linguagens declarativas e funcionais?
Tipologia: Slides
2022
1 / 94
Esta página não é visível na pré-visualização
Não perca as partes importantes!
Pré-visualização parcial do texto
Baixe Crise do Software: Vantagens de Linguagens Declarativas e Funcionais e outras Slides em PDF para Programação Funcional, somente na Docsity!
Programação Funcional
Capítulo 1
Paradigmas de Programação
José Romildo Malaquias
Departamento de Computação Universidade Federal de Ouro Preto
1 Paradigmas de programação
2 Programação funcional
3 A crise do software
4 Algumas características de Haskell
5 Antecedentes históricos
6 Algumas empresas que usam Haskell
7 Curso online
8 Programando com Funções
9 Experimentando Haskell
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Paradigmas de programação
Um paradigma de programação determina a visão que o programador possui sobre a estruturação e a execução do programa.
Por exemplo: Em programação orientada a objetos, programadores podem abstrair um programa como uma coleção de objetos que interagem entre si. Em programação lógica os programadores abstraem o programa como um conjunto de predicados que estabelecem relações entre objetos (axiomas), e uma meta (teorema) a ser provada usando os predicados. Em programação funcional os programas são expressões a serem avaliadas, e são organizados usando funções.
Diferentes linguagens de programação suportam diferentes paradigmas de programação.
Algumas linguagens foram desenvolvidas para suportar um paradigma específico.
Por exemplo: Smalltalk, Eiffel e Java suportam o paradigma orientado a objetos. Haskell e Clean suportam o paradigma funcional. OCaml, LISP, Scala, Perl, Python e C++ suportam múltiplos paradigmas.
Técnicas e paradigmas de programação
Geralmente os paradigmas de programação são diferenciados pelas técnicas de programação que permitem ou proíbem.
Por exemplo, a programação estruturada não permite o uso de goto.
Esse é um dos motivos pelos quais novos paradigmas são considerados mais rígidos que estilos tradicionais.
Apesar disso, evitar certos tipos de técnicas pode facilitar a prova de correção de um sistema, podendo até mesmo facilitar o desenvolvimento de algoritmos.
O relacionamento entre paradigmas de programação e linguagens de programação pode ser complexo pelo fato de linguagens de programação poderem suportar mais de um paradigma.
Técnicas e paradigmas de programação
Geralmente os paradigmas de programação são diferenciados pelas técnicas de programação que permitem ou proíbem.
Por exemplo, a programação estruturada não permite o uso de goto.
Esse é um dos motivos pelos quais novos paradigmas são considerados mais rígidos que estilos tradicionais.
Apesar disso, evitar certos tipos de técnicas pode facilitar a prova de correção de um sistema, podendo até mesmo facilitar o desenvolvimento de algoritmos.
O relacionamento entre paradigmas de programação e linguagens de programação pode ser complexo pelo fato de linguagens de programação poderem suportar mais de um paradigma.
Técnicas e paradigmas de programação
Geralmente os paradigmas de programação são diferenciados pelas técnicas de programação que permitem ou proíbem.
Por exemplo, a programação estruturada não permite o uso de goto.
Esse é um dos motivos pelos quais novos paradigmas são considerados mais rígidos que estilos tradicionais.
Apesar disso, evitar certos tipos de técnicas pode facilitar a prova de correção de um sistema, podendo até mesmo facilitar o desenvolvimento de algoritmos.
O relacionamento entre paradigmas de programação e linguagens de programação pode ser complexo pelo fato de linguagens de programação poderem suportar mais de um paradigma.
Categorias: programação imperativa e declarativa
Programação imperativa
Descreve a computação como ações, enunciados ou comandos que mudam o estado ( variáveis ) de um programa, enfatizando como resolver um problema. Um programa imperativo é uma sequência de comandos para o computador executar, sendo muito parecido com o comportamento imperativo das linguagens naturais que expressam ordens. O nome do paradigma, imperativo, está ligado ao tempo verbal imperativo, onde o programador diz ao computador: faça isso, depois isso, depois aquilo... Exemplos: paradigmas procedimental: C, Pascal, etc, e orientado a objetos: Smalltalk, Java, C++, Python, etc
Programação declarativa Descreve o que o programa faz e não como seus procedimentos funcionam. Ênfase nos resultados, no que se deseja obter. Exemplos: paradigmas funcional: Haskell, OCaml, LISP, etc, e lógico: Prolog, etc.