ML (nyelv)

Az ML ( Meta Language összehúzódása ) egy funkcionális általános célú programozási nyelv .

Történelem

ML eredetileg a Robin Milner és mások az 1970-es években , a University of Edinburgh , hogy a rendszer a hivatalos bizonyítékok Logic kiszámítható függvényt  (in) (CFL). R. Milner nehézségekbe ütközött Lisp gépelési rendszerében, ami lehetővé tette a hamis állítások "bizonyítását".

Az ML nem tiszta funkcionális nyelv  : lehetséges imperatív módon programozni, és ennek eredményeként a funkciók nemkívánatos mellékhatásoknak lehetnek kitéve (ún. „Élek”), ellentétben a tisztán funkcionális nyelvekkel, mint például a Haskell .

Az ML-t 1983- ban szabványosították , majd 1997-ben módosították  ; az így kapott nyelvet Standard ML-nek (SML) hívják , és főleg New Jersey-i Standard ML-ben (SML / NJ) valósították meg . Ugyanakkor a francia csapatok kifejlesztették a Caml-t , amely ma már nagyon népszerű a nemzetközi ML közösségben.

Az ML típusú rendszert kibővítették első osztályú polimorfizmussal, amely jelen volt Jean-Yves Girard F rendszerében . A 2000-es évek elején Botlan Didier és Didier Remy tézise MLF néven ismert. A gépelésnek ez a kiterjesztése 1980 óta jelent problémát. Ma ez a nyelv egyre egyszerűbb.

Jellemzők

Az ML jellemzői:

• Egy automatikus memória kezelése , általában egy szemétgyűjtő  ;
• Egy statikus gépelési erős és polimorf  : az öntött ( öntvény C) hallgatólagos szigorúan tilos, így a nagy számú lehetséges hibákat. A nyelv által kínált fejlett típusú rendszer lehetővé teszi a típusok és a típusokon megengedett műveletek és az adatstruktúrák pontos meghatározását. Lehetőség van általános függvények definiálására és olyan függvények írására, amelyek más funkciókat is paraméterként vesznek fel (úgynevezett magasabb rendű függvények). Ez a rendszer az imperatív nyelvekben ( C , COBOL , Pascal stb.) A generizmus (kifejezőbb) változatának tekinthető ;
• típus következtetés  : nincs szükség a változók típusának deklarálására. A fordító a használat körülményeinek köszönhetően egyértelműen képes felismerni. Ez tömörebbé teszi a kódot és javítja az olvashatóságot;
• az algebrai adattípusok  : definiálhatók új adatstruktúrák és hierarchikus módon kombinálhatók;
• A minta megfelelő in English  : Pattern Matching  : ez képes bontani a típusú algebrai érték különböző formái, és hogy a kapcsolat minden. Ez a folyamat többé-kevésbé összehasonlítható a futási típusok más nyelveken történő azonosításával, de statikusan megoldott az ML-ben - és ezért nem bünteti a futásidejű teljesítményt;
• a modulok (úgynevezett: struktúrák) és az interfészek (az úgynevezett: aláírások) hatékony rendszere. A struktúrák paraméterezhetők ( functorokról beszélünk ), több aláírásuk van, és fordítva. A paraméterezés  a C ++ " sablonjait ", illetve az Ada vagy a Modula-3 "  generikusjait  " idézi fel  azzal a különbséggel, hogy a gépelés a fordítás idején teljesen ellenőrizve van;
• kivételkezelő rendszer.

Az ML további előnyei:

• nagy biztonság (a jól beírt programok nem tévedhetnek el  ; franciául: a jól beírt programok nem ütközhetnek össze - A szavak játékával a "jól beírva" azt is jelentheti, hogy "jól beírt [a billentyűzeten]");
• kompakt szintaxis, amelyet matematikai jelölések ihlettek, miközben olvasható marad;
• a végrehajtás sebessége gyakran összehasonlítható a C ++ -val, különösen az OCaml változatban.

Az ML erősségei különösen alkalmassá teszik nyelvek, fordítók és formális igazoló rendszerek írására .

Végrehajtások

A fő megvalósítások a Standard ML és az OCaml.

Normál ML:

• New Jersey-i SML ( Bell Laboratories, Princeton University, Yale University, AT&T Research )
• Moszkva ML
• MLton ( NEC Research Labs ): rendkívül robusztus és hatékony optimalizáló fordító
• Poly / ML
• Versenyző ML

Az OCaml (INRIA) nem követi az SML szabványt, inkább az ML objektumorientált evolúciója. Ezt a nyelvet egy fordító jellemzi, amely nagyon nagy végrehajtási sebességű programokat és nagy könyvtárat készít. A fejlesztők és a felhasználók nagyon aktív közösséget alkotnak egy kutatási nyelv számára. Az OCaml szolgált az F # nyelv fejlesztésének alapjául a Microsoft .NET platformján.

Megjegyzések és hivatkozások

1. http://wwwdgeinew.insa-toulouse.fr/~lebotlan/papers/lbr03.pdf , angol nyelvű cikk az ICFP 2003 konferencián | http://wwwdgeinew.insa-toulouse.fr/~lebotlan/mlf.html