ML, abreviação de Meta Language, é uma linguagem de programação funcional de propósito geral. Seu escopo é estaticamente definido, o que significa que uma variável sempre se refere ao seu ambiente de nível superior. O ML pode ser referido como uma linguagem funcional impura porque permite efeitos colaterais, que a maioria das linguagens de programação funcionais não permitem. Um efeito colateral é quando um procedimento altera uma variável fora de seu escopo.
Como a maioria das linguagens de programação, o ML usa avaliação rápida, portanto, uma expressão é avaliada assim que é associada a uma variável. Isso está em oposição direta à avaliação preguiçosa. No entanto, a avaliação preguiçosa ainda pode ser alcançada com o uso de fechos. ML é usado para meta-programação ou para escrever programas que manipulam outros programas. O ML é conhecido por usar o sistema de tipo Hindley-Milner, que atribui automaticamente os tipos da maioria das expressões sem exigir anotações de tipo explícitas e garante a segurança do tipo. ML também é usado para:
- Aplicações científicas
- Provedores de teorema
- Analisadores, compiladores e linguagens de programação
- Aplicativos de sistemas financeiros
- Bioinformática e bancos de dados genealógicos
Características do ML
ML é uma linguagem estritamente tipada, o que significa que uma linguagem bem tipada não causará erros de tipo de tempo de execução. Ele apresenta um sistema de gerenciamento automático de memória por meio da coleta de lixo, de forma que a memória seja automaticamente alocada e liberada pelo compilador. O polimorfismo paramétrico é suportado, o que significa que uma única função polimórfica pode ser escrita para receber um parâmetro de qualquer tipo compatível. Outros recursos incluem:
- Funções de primeira classe
- Digitação estática
- Tipo de interferência
- Correspondência de padrões para argumentos funcionais
- Manipulação de exceção
- Tipos de dados algébricos
ML também é a abreviatura de aprendizado de máquina, um tipo de análise de dados que usa algoritmos para aprender com os dados.