ML (programozási nyelv)
programozási nyelv / From Wikipedia, the free encyclopedia
Az ML (Meta Language) egy általános célú funkcionális programozási nyelv. A polimorf Hindley–Milner típusrendszer használatáról ismert, amely automatikusan típusokat rendel a legtöbb kifejezéshez anélkül, hogy kifejezett típushozzárendelést igényelne, és biztosítja a típusbiztonságot – hivatalosan bebizonyították, hogy a jól megírt ML program nem okoz futásidejű hibákat. Az ML biztosítja a mintafelismerést a függvényargumentumok, a szemétgyűjtés, az imperatív programozás, az érték szerinti paraméterátadás és a függvényátalakítások (currying) számára. Gyakran használják a programozási nyelvek kutatásában, és egyike azon kevés nyelveknek, amelyeket formális szemantika segítségével teljesen meg lehet határozni és ellenőrizni. Típusai és mintafelismerése alkalmassá teszik arra, hogy más formális nyelvekhez is alkalmasak legyenek, például fordítók írásához, automatikus tételbizonyításhoz és formális ellenőrzéshez.