ML

A HupWiki-ből...

ML, SML: Standard Meta Language

Egy funkcionális paradigmát követő deklaratív programozási nyelv. A funkcionális paradigma azt jelenti, hogy a nyelv alapja tisztán a függvényfogalom. A feladatokat függvények kompozíciójával lehet megoldani. Minden függvény pontosan egy paramétert kap és egy értéket ad vissza. Ez azonban lehet összetett adatstruktúra is. Erősen típusos nyelv.

Bizonyos szempontból hasonló a Lisphez, továbbá a Prologhoz. Elsősorban mesterséges intelligencia kutatásoknál, illetve matematikai problémák formális megfogalmazásánál alkalmazzák.

Továbbá az ML lehet a "Machine Language" azaz gépi kód rövidítése, lásd: opkód, assembly