Standard ML

Standard ML (SML) é uma linguagem de programação funcional, modular e de propósito geral com verificação de tipos em tempo de compilação e inferência de tipos. É popular entre escritores de compiladores e pesquisadores de linguagens de programação, bem como no desenvolvimento de provadores de teoremas. Standard ML é um dialeto moderno de ML, a linguagem usada no projeto de prova de teoremas Logic for Computable Functions (LCF). É distinta entre as linguagens amplamente usadas por ter uma especificação formal, dada como regras de tipagem e semântica operacional em The Definition of Standard ML. Linguagem Standard ML é uma linguagem de programação funcional com alguns recursos impuros. Programas escritos em Standard ML consistem em expressões em vez de instruções ou comandos, embora algumas expressões do tipo unit sejam avaliadas apenas por seus efeitos colaterais.