Paradigmas de Linguagens Computacionais (PLC) (Apresentação da disciplina)

Transcrição

1 Paradigmas de Linguagens Computacionais (PLC) (Apresentação da disciplina) George Darmiton da Cunha Cavalcanti

2 Informações Básicas Professor George Darmiton da Cunha Cavalcanti Monitores Bruno Leonardo Barros Silva Glerter Sabia Thiago Lacerda Site da disciplina Horário Terças (10:00-12:00) e quintas (08:00-10:00)

3 Motivação Linguagens de Programação são usadas por um analista de sistemas em: Projetos disciplinares Estágio e Trabalho (Empresas) Pós-graduação Existem dezenas de linguagens de programação Linguagens com características diferentes

4 Motivação Quais características de uma linguagem de programação são importantes? Como comparar estas características? Qual linguagem de programação usar? Como comparar diversas linguagens? Como estudar novas linguagens? Como projetar novas linguagens? Qual a melhor linguagem para uma determinada aplicação? Paradigmas de Programação

5 Objetivos Análise crítica de paradigmas e linguagens de programação Estudo dos conceitos gerais de linguagens de programação: valores, tipos, bindings, escopo, memória, entre outros. Visão geral dos paradigmas imperativo, funcional, orientado a objetos, lógico e concorrente

6 Visão geral do curso Site da disciplina

7 Avaliação A avaliação do curso será dividido em duas etapas: Etapa 1 História das Linguagens de Programação (20%) Relatório, slides e apresentação Prova 1 (80%) Conceitos de Linguagens de Programação Etapa 2 Projeto (Linguagem funcional) Relatório, implementação e apresentação (40%) Prova 2 (60%) Conceitos de linguagens funcionais

8 Livro-texto Bibliografia Robert W. Sebesta. Concepts of Programming Languages. Addison Wesley, seventh edition Livros complementares Robert W. Sebesta. Conceitos de Linguagens de Programação. Bookman, quinta edição David Watt. Programming Language Design Concepts, John Wiley & Sons, 2004.

9 Linguagens de Programação Definições: Programa Linguagem de programação Paradigma de linguagens

10 Programa Um conjunto completo de comandos estruturados de forma a especificar um algoritmo (BCS, A Glossary of Computing Terms). Algoritmo conjunto de regras e de procedimentos lógicos, perfeitamente definidos, que levam à solução de um problema em um número finito de etapas

11 Linguagens de Programação Uma linguagem é um conjunto de regras sistemáticas para a comunicação de idéias Linguagens de programação são instrumentos para facilitar a comunicação entre humanos e computadores a fim de solucionar problemas Assim, linguagens de programação têm o objetivo de representar alguma informação por meio de uma seqüência de símbolos

12 Características de uma Linguagem de Programação Voltada para descrição de algoritmos (programas) Implementável (executável) nos computadores tradicionais Gramática e significado bem definidos (não permite sentenças com significado duvidoso)

13 Requisitos de uma Linguagem de Programação Universal todo problema que pode ser resolvido pelo computador tem que ter uma solução programável na LP Tem que ser implementável num computador Natural para expressar problemas em um certo domínio de aplicação Tem que ser capaz de ter uma implementação aceitável, em termos de eficiência

14 Genealogia de algumas linguagens de programação

15 Motivações para a diversidade de linguagens existentes Propósitos diferentes Avanços tecnológicos Interesses comerciais Cultura e background científico

16 Paradigma de Programação Modelo, padrão ou estilo de programação suportado por linguagens que agrupam certas características comuns Cada linguagem apresenta uma maneira particular de modelar o que é um programa. Cada paradigma agrupa linguagens que representam programas de forma semelhante

17 Paradigma de Programação A escolha de um determinado paradigma influencia a forma com que uma aplicação real é modelada do ponto de vista computacional Principais paradigmas: Imperativo Funcional Orientado a Objetos Lógico Concorrente

18 Paradigma de Programação Imperativo Procedural Pascal, FORTRAN, COBOL, C, ADA Orientado a Objetos (Smalltalk, objectpascal, C++, Java) Declarativo Funcional LISP, ML, Haskell Lógico Prolog Concorrente Paralelo n processadores + 1 memória (ADA, concurrent Pascal) Distribuído n processadores + m memórias (Java) Paradigmas Híbridos OOLP (Object-Oriented Logic Programming)