ML (limbă)

ML (contracția Meta Language ) este un limbaj de programare funcțional cu scop general .

Istorie

ML a fost inițial dezvoltat de Robin Milner și alții în anii 1970 la Universitatea din Edinburgh , pentru sistemul de dovezi formale Logică pentru funcții calculabile  (în) (CFL). R. Milner a întâmpinat dificultăți cu sistemul de tastare al lui Lisp care a permis „afirmațiile false” să fie „dovedite”.

ML este un limbaj funcțional impur  : este posibil să se programeze în imperativ și, ca rezultat, funcțiile pot fi supuse unor efecte secundare nedorite (numite „margine”), spre deosebire de limbajele pur funcționale precum Haskell .

ML a fost standardizat în 1983 , apoi revizuit în 1997  ; limbajul rezultat se numește Standard ML (SML) și a fost implementat în special în Standard ML din New Jersey (SML / NJ). În același timp, echipele franceze au dezvoltat Caml , care este acum foarte popular în comunitatea internațională de ML.

Sistemul de tip ML a fost extins cu polimorfism de primă clasă prezent în sistemul F al lui Jean-Yves Girard, cu teza lui Botlan Didier și Didier Remy la începutul anilor 2000 este cunoscută sub numele de MLF. Această extensie a tastării a fost o problemă din 1980. Astăzi, acest limbaj este din ce în ce mai simplificat.

Caracteristici

Caracteristicile ML includ:

• o gestionare automată a memoriei , de obicei de către un colector de gunoi  ;
• o tastare statică puternică și polimorfă  : distribuția ( distribuția C) implicită este strict interzisă, eliminând un număr mare de bug-uri posibile. Sistemul avansat de tip oferit de limbaj face posibilă definirea precisă a tipurilor și operațiunilor permise pe tipurile și structurile de date. Este posibil să se definească funcții generice și să se scrie funcții care iau alte funcții ca parametri (așa-numitele funcții de ordin superior). Acest sistem poate fi văzut ca o variantă (mai expresivă) a genericității în limbaje imperative ( C , COBOL , Pascal etc.);
• inferența de tip  : nu este necesar să declarați tipul de variabile. Compilatorul este capabil să-l detecteze fără echivoc datorită contextului de utilizare. Acest lucru face codul mai succint și îmbunătățește lizibilitatea;
• cele algebrice tipuri de date  : se pot defini noi structuri de date și să le combine într - o manieră ierarhică;
• modelul de potrivire în limba engleză  : model de potrivire  : aceasta este abilitatea de a descompune un tip de valoare algebrice în diferitele sale forme și pentru a oferi o conexiune pentru fiecare. Acest proces este mai mult sau mai puțin comparabil cu identificarea tipului de rulare în alte limbi, dar este rezolvat static în ML - și, prin urmare, nu penalizează performanța de rulare;
• un sistem puternic de module (numit: structuri) și interfețe (numit: semnături). Structurile pot fi parametrizate (vorbim de functori ) și au mai multe semnături și invers. Parametrizarea evocă „  șabloanele  ” din C ++ sau „  genericul  ” din Ada sau Modula-3 , cu diferența că tastarea este complet verificată la compilare;
• un sistem de gestionare a excepțiilor.

Alte avantaje ale ML sunt:

• siguranță mare ( programele bine tastate nu pot merge greșit  ; în franceză: programele bine tastate nu se pot defecta - Cu un joc de cuvinte, „bine tastat” poate însemna și „bine tastat [pe tastatură]”);
• o sintaxă compactă care este inspirată de notația matematică, rămânând însă lizibilă;
• o viteză de execuție adesea comparabilă cu C ++, în special în versiunea OCaml.

Punctele forte ale ML îl fac deosebit de potrivit pentru scrierea limbajelor, compilatoarelor și sistemelor de probă formale.

Implementări

Principalele implementări sunt Standard ML și OCaml.

ML standard:

• SML din New Jersey ( Laboratoarele Bell, Universitatea Princeton, Universitatea Yale, AT&T Research )
• Moscova ML
• MLton ( NEC Research Labs ): un compilator de optimizare extrem de robust și eficient
• Poli / ML
• Concurent ML

OCaml (INRIA) nu respectă standardul SML, ci este mai degrabă o evoluție orientată obiect a ML. Acest limbaj este caracterizat de un compilator care produce programe cu viteză de execuție foarte mare, precum și de o bibliotecă mare. Dezvoltatorii și utilizatorii formează o comunitate foarte activă pentru un limbaj de cercetare. OCaml a servit ca bază pentru dezvoltarea limbajului F # pe platforma Microsoft .NET .

Note și referințe

1. http://wwwdgeinew.insa-toulouse.fr/~lebotlan/papers/lbr03.pdf , articol în limba engleză prezentat la conferința ICFP 2003 | http://wwwdgeinew.insa-toulouse.fr/~lebotlan/mlf.html