ML (linguagem de programação)
Origem: Wikipédia, a enciclopédia livre.
| ML | |
|---|---|
| Paradigma: | programação funcional, programação imperativa |
| Surgido em: | 1973 |
| Criado por: | Robin Milner e outros na Universidade de Edimburgo |
| Estilo de tipagem: | estática, forte |
| Compiladores: | |
| Dialetos: | Standard ML, OCaml, F# |
| Influenciada por: | ISWIM |
| Influenciou: | Haskell, Cyclone, Nemerle |
ML é uma linguagem de programação funcional de proposta geral desenvolvida por Robin Milner e outros no final dos anos 1970 na Universidade de Edimburgo, cuja sintaxe foi inspirada pelo ISWIM. É considerada uma linguagem funcional impura, por permitir a programação imperativa, ao contrário de outras linguagens funcionais como Haskell.
[editar] Exemplos de código
O Programa Olá Mundo de linguagens funcionais é tipicamente a função Fatorial, como expressado abaixo em ML:
fun fac : (int -> int) 0 = 1 | fac n = n * fac (n-1);
O fatorial foi definido como uma função recursiva, com uma única condição de parada, assemelhando-se as descrições dessa função em livros de Matemática. Parte da primeira linha é opcional, e descreve os tipos da função.
[editar] Ligações externas
- ((en)) Moscow ML, uma implementação popular de ML
- ((en)) Standard ML de New Jersey, outra popular implementação
- ((en)) F#, uma implementação de ML utilizando o Microsoft .NET
- ((en)) MLton, compilador ML com otimizadores
