SML

SML je funkcionálny programovací jazyk vyvinutý začiatkom 80. rokov 20. storočia. Je založený na programovacom jazyku ML, ktorý je dialektom jazyka LISP. SML je staticky typovaný jazyk, čo znamená, že všetky premenné musia byť deklarované predtým, ako sa môžu použiť. To možno v závislosti od preferencií programátora považovať za výhodu alebo prekážku. SML sa široko používa na akademickej pôde, najmä v oblasti informatiky. Používa sa aj v priemysle, hoci nie v takej miere ako niektoré iné jazyky. Mnohé moderné jazyky, ako napríklad Scala, OCaml a Haskell, boli ovplyvnené ML a SML. SML je výkonný jazyk, ktorý je vhodný na mnohé úlohy. Môže však byť náročné naučiť sa ho, najmä pre tých, ktorí s funkcionálnym programovaním začínajú.