Trabalho de Paradigmas de Linguagens de Programação “Linguagem ML”

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 ideia tradicional da computação, que remete a matemática onde a partir de uma função, você deveria calcular um valor para uma variável. ML usa esse conceito, porém ao invés de se restringir ao uso dos reais, ela admite uma variedade superior de valores e de operações básicas sobre eles. Cada expressão possui três características básicas:
1. Ela pode ou não, ter um tipo;
2. Ela pode ou não, ter um valor;
3. Ela pode ou não, produzir um efeito; O tipo de uma expressão pode ser visto como o valor