Linguagem miranda

PONTÍFICIA UNIVERSIDADE CATÓLICA DE MINAS GERAIS
Graduação em Ciência da Computação

Felício Júnior
Jônatas Sena
Patrick Flávio Teixeira Coura
Rafael Lopes Barbosa
Úrsula Rosa Monteiro de Castro

MIRANDA

Belo Horizonte
2012

Felício Júnior
Jônatas Sena
Patrick Flávio Teixeira Coura
Rafael Lopes Barbosa
Úrsula Rosa Monteiro de Castro

MIRANDA

Trabalho apresentado à disciplina de Linguagens de Programação, do curso de Ciência da Computação da Pontifícia Universidade Católica de Minas Gerais.

Professor: Marco Rodrigo Costa

Belo Horizonte
2012

SUMÁRIO

1 INTRODUÇÃO....................................................................................................... 4

2 HISTÓRICO DA LINGUAGEM.............................................................................. 5

3 LIGAÇÃO DA LINGUAGEM MIRANDA COM O ARTIGO PROPOSTO.............. 6

4 PARADIGMA FUNCIONAL................................................................................... 7

5 CARACTERÍSTICAS MAIS MARCANTES DA LINGUAGEM.............................. 8

6 PARALELO COM AS LINGUAGENS: ML, HASKELL......................................... 11

7 EXEMPLOS DE PROGRAMAS............................................................................. 14

8 CONSIDERAÇÕES FINAIS................................................................................... 15

BIBLIOGRAFIA......................................................................................................... 16

1 INTRODUÇÃO

Miranda é uma linguagem de programação funcional desenvolvida por David Turner na Universidade de Kent Cantbury na Inglaterra. Ela é executada em sistemas operacionais Unix. A linguagem tem como características principais a avaliação tardia, tipagem fortemente polimórfica e um sistema de módulos poderoso. Normalmente programas escritos em Miranda são de 5 a 15 vezes mais rápidos do que os seus correspondentes em outras linguagens como C e Java.
O Sistema Miranda