SML

SML je funkcionální programovací jazyk vyvinutý na počátku 80. let 20. století. Vychází z programovacího jazyka ML, který je dialektem jazyka LISP. SML je staticky typovaný jazyk, což znamená, že všechny proměnné musí být před použitím deklarovány. To lze považovat za výhodu nebo překážku, záleží na preferencích programátora. SML je široce používán na akademické půdě, zejména v oblasti informatiky. Používá se také v průmyslu, i když ne v takové míře jako některé jiné jazyky. Mnoho moderních jazyků, například Scala, OCaml a Haskell, bylo ovlivněno ML a SML. SML je výkonný jazyk, který se dobře hodí pro mnoho úloh. Může však být náročný na naučení, zejména pro ty, kteří s funkcionálním programováním začínají.