Standard ML
| 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").[1]
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ Harper, Robert: Programming in Standard ML. Carnegie Mellon University. Teoksen verkkoversio (PDF). (englanniksi)
Aiheesta muualla
[muokkaa | muokkaa wikitekstiä]- ML for the Working Programmer, 2nd Edition (verkkoversio) (englanniksi)
- Unix System Programming with Standard ML (verkkoversio) (englanniksi)