Standard ML (SML)
Verificato
Aggiornato il 05/08/2026
Significato di «Standard ML (SML)»
Linguaggio funzionale, tipizzato staticamente e modulare della famiglia ML, con definizione formale pubblicata nel 1990 e rivista nel 1997 (SML '97) da Milner, Tofte, Harper e MacQueen. Offre inferenza di tipo, moduli parametrici e pattern matching.
Fonti: Linguaggio funzionale con definizione formale. Fonti: smlfamily.github.io/sml97-defn.pdf; en.wikipedia.org/wiki/Standard_ML. Verifica web 2026-08-03. · Verificato il 2026-08-03
Domande frequenti su Standard ML (SML)
Cosa significa «Standard ML (SML)»?
Linguaggio funzionale, tipizzato staticamente e modulare della famiglia ML, con definizione formale pubblicata nel 1990 e rivista nel 1997 (SML '97) da Milner, Tofte, Harper e MacQueen. Offre inferenza di tipo, moduli parametrici e pattern matching.
A quale glossario appartiene «Standard ML (SML)»?
«Standard ML (SML)» fa parte del glossario Linguaggi di programmazione, nella categoria Programmazione di Glossario Italiano.