Standard ML (SML)
Verificato
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