Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Standard ML
| Standard ML | |
|---|---|
| Paradigma | Multiparadigma: |
| Surgido em | 1983 (41–42 anos) |
| Última versão | SML '97 (1997) |
| Estilo de tipagem |
|
| Dialetos | |
| Influenciada por | ML |
| Influenciou | Rust |
| Extensão do arquivo | .sml |
Standard ML (SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação. É popular entre pesquisadores de linguagem de programação e compiladores.
SML é uma descendente moderno da linguagem ML utilizada em lógica de funções computáveis (LCF). Distingue-se das outras linguagens utilizadas atualmente devido sua característica funcional e devido sua especificação formal, dado como escrever regras e semântica operacional na definição da Standard ML. [1]
- ↑ Milner, R.; Mads Tofte, Robert Harper e D. MacQueen. (1997). The Definition of Standard ML (Revised). [S.l.]: MIT Press. ISBN 0-262-63181-4
Previous Page Next Page
