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