Universidade Católica de Pernambuco

Trabalho de Paradigmas de Linguagens de Programação
“Linguagem ML”
Alunos: Thiago Souto
Daniel Moraes

Recife, Maio 2013.
1)Critérios gerais
A ML é uma linguagem para fins “gerais” desenvolvida por Robin Milner e alguns outros no final dos anos 70. Ela é considerada uma linguagem funcional impura, por permitir programação imperativa, diferentes de outras linguagens, como Haskell.
A ML é rica em recursos que enriquecem a confiabilidade dos programas fortemente tipificada, tratamento de exceções, e um bom grau de legibilidade e capacidade de escrita, além de ser uma linguagem com um grande grau de facilidade para ser estudada, porém é necessário ter um certo grau de conhecimento em linguagem de programação e lógica de programação.

2) Critérios específicos
2.1 ) Introdução
Primeiramente, temos que saber o que é a linguagem é uma linguagem de programação funcional de corpo estático. A ML tem declarações de tipos e também usa a inferências de tipos, que exclui a necessidade da declaração de variáveis e é fortemente tipificada.
O tipo de cada variável e de expressão pode ser determinado durante a compilação.

Ela é implementada de forma procedural.

2.2)Variaveis e Tipos de Dados
Tipos e Valores
Para entender a tipificação de variáveis na linguagem ML, devemos primeiramente entender o seu modelo de computação, também chamado de “computação por avaliação de expressões”. Esse modelo usa a