| Standard ML | |
|---|---|
| Paradigma | funktionaalinen ohjelmointi, moniparadigma |
| Tyypitys | vahva, staattinen, johdettu |
| Muistinhallinta | roskienkeruu |
| Merkittävimmät toteutukset | MLton, PolyML, Standard ML of New Jersey |
| Vaikutteet | ML |
| Vaikuttanut | Haskell, OCaml, Rust |
Standard ML (lyh. SML) on funktionaalinen ohjelmointikieli. Kuten edeltäjänsä ML, Standard ML:ää on kutsuttu ns. "epäpuhtaaksi" (eng. impure) funktionaaliseksi ohjelmointikieleksi, sillä se yhdistelee imperatiivisten ja funktionaalisten kielien ominaisuuksia. Haskellin kaltaisista ns. "puhtaista" funktionaalisista ohjelmointikielistä poiketen, Standard ML sallii myös muuttujien muuttamisen ("mutatoimisen").