ML (sprog)

ML (sammentrækning af metasprog ) er et funktionelt programmeringssprog til generelle formål .

Historie

ML blev oprindeligt udviklet af Robin Milner og andre i 1970'erne ved University of Edinburgh , til systemet med formelle beviser Logik til beregningsfunktioner  (in) (CFL). R. Milner stødte på vanskeligheder med Lisp's typesystem, der gjorde det muligt at "bevise" falske påstande.

ML er et urent funktionelt sprog  : det er muligt at programmere tvingende, og som et resultat kan funktioner være udsat for uønskede bivirkninger (kaldet "kant") i modsætning til rent funktionelle sprog som Haskell .

ML blev standardiseret i 1983 , derefter revideret i 1997  ; det resulterende sprog kaldes Standard ML (SML) og blev især implementeret i Standard ML i New Jersey (SML / NJ). Samtidig har franske hold udviklet Caml , som nu er meget populært i det internationale ML-samfund.

ML- typesystemet er blevet udvidet med førsteklasses polymorfisme til stede i systemet F af Jean-Yves Girard med afhandlingen fra Botlan Didier og Didier Remy i begyndelsen af ​​2000'erne er kendt som MLF. Denne udvidelse af typning har været et problem siden 1980. I dag er dette sprog mere og mere forenklet.

Funktioner

ML-funktioner inkluderer:

• en automatisk hukommelsesstyring , normalt af en affaldssamler  ;
• en statisk typning stærk og polymorf  : den implicitte rollebesætning ( rollebesætning C) er strengt forbudt, hvilket eliminerer et stort antal mulige fejl. Det avancerede typesystem, der tilbydes af sproget, gør det muligt præcist at definere de typer og de operationer, der er tilladt på datatyper og strukturer. Det er muligt at definere generiske funktioner og at skrive funktioner, der tager andre funktioner som parametre (såkaldte højere ordensfunktioner). Dette system kan ses som en (mere udtryksfuld) variant af genericitet i tvingende sprog ( C , COBOL , Pascal osv.);
• type inferens  : der er ikke behov for at erklære typen af ​​variabler. Compileren er i stand til at registrere det utvetydigt takket være anvendelseskonteksten. Dette gør koden mere kortfattet og forbedrer læsbarheden;
• de algebraiske datatyper  : man kan definere nye datastrukturer og kombinere dem på en hierarkisk måde;
• den mønstertilpasning i engelsk  : Mønster Matching  : dette er evnen til at nedbryde en type algebraisk værdi i dens forskellige former og til at give en forbindelse til hver. Denne proces kan mere eller mindre sammenlignes med identifikation af runtime-typen på andre sprog, men løses statisk i ML - og straffer derfor ikke runtime-ydeevne;
• et kraftfuldt system af moduler (kaldet: strukturer) og grænseflader (kaldet: signaturer). Strukturer kan parametriseres (vi taler om funktorer ) og har flere underskrifter, og omvendt. Parameteriseringen fremkalder "  skabelonerne  " til C ++ eller den "  generiske  " af Ada eller Modula-3 med den forskel, at typingen kontrolleres fuldstændigt ved kompilering;
• et undtagelsesstyringssystem.

Andre fordele ved ML er:

• stor sikkerhed ( velkendte programmer kan ikke gå galt  ; på fransk: velkendte programmer kan ikke gå ned - Med et ordspil kan "godt skrevet" også betyde "godt skrevet [på tastaturet]");
• en kompakt syntaks, der er inspireret af matematisk notation, mens den forbliver læsbar;
• en udførelseshastighed, der ofte kan sammenlignes med C ++, især i OCaml-versionen.

ML's styrker gør det særligt velegnet til at skrive sprog, kompilatorer og formelle proof-systemer.

Implementeringer

De vigtigste implementeringer er Standard ML og OCaml.

Standard ML:

• SML fra New Jersey ( Bell Laboratories, Princeton University, Yale University, AT&T Research )
• Moskva ML
• MLton ( NEC Research Labs ): en ekstremt robust og effektiv optimeringscompiler
• Poly / ML
• Konkurrent ML

OCaml (INRIA) følger ikke SML-standarden, men er snarere en objektorienteret udvikling af ML. Dette sprog er karakteriseret ved en kompilator, der producerer programmer med meget høj eksekveringshastighed samt et stort bibliotek. Udviklere og brugere danner et meget aktivt fællesskab for et forskningssprog. OCaml tjente som grundlaget for udviklingen af F # -sproget på Microsofts .NET- platform.

Noter og referencer

1. http://wwwdgeinew.insa-toulouse.fr/~lebotlan/papers/lbr03.pdf , artikel på engelsk præsenteret på ICFP 2003-konferencen | http://wwwdgeinew.insa-toulouse.fr/~lebotlan/mlf.html