OCaml

Tai, kad ML kalba įgyvendinimas, remiantis Caml Light tarmės pratęstas su pilna klasės pagrindu objekto sistemą ir galingą modulio sistemos standartinių ML stiliaus.
Tikslas Caml sudaro dvi kompiliatorius. Vienas generuoja bytecode, kuris po to suprastas C programą.
Tai sudarytojas veikia greitai, yra nešiojamas iš esmės bet 32 ​​ar 64 bit Unix platforma ir generuoja kompaktišką kodą su vidutinio atminties reikalavimai.
Atlikimas sukurtas programas yra gana gerai, bytecoded įgyvendinimą.
Tai sudarytojas gali būti naudojama kaip atskira, partijos orientuotos kompiliatorius, kuri gamina standalone programas, arba kaip interaktyvus, toplevel grindžiamos sistemos.
Kitas kompiliatorius generuoja aukštos kokybės gimtoji kodą skaičių
Perdirbėjų.
Kompiliavimas trunka ilgiau ir generuoja didesnį kodą, bet sukurtas programas pristatyti puikius, išlaikant nedidelį atminties reikalavimus baitinis sudarytojas.
Tikslas Caml yra populiariausias variantas Caml kalba.
Nuo kalbos požiūriu, ji išplečia pagrindinę Caml kalbą su pilnaverte Objektinis sluoksniu, taip pat galingą modulio sistemą, visa sujungta garso, polimorfinė tipo sistemos featuring tipo išvados.
Objective Caml sistema yra pramonės stiprio įgyvendinimas šia kalba, siūlanti aukštos kokybės gimtoji kodo kompiliatorius (ocamlopt) 9 procesorių architektūrų (ia32, PowerPC, AMD64, alfa, SPARC, MIPS IA64, HPPA, StrongARM) taip pat baitinis kompiliatorius (ocamlc) ir interaktyvi skaitymo-eval-spausdinimo kilpa (ocaml) greitam vystymuisi ir perkeliamumas.
 Objective Caml paskirstymas apima išsamią standartinį biblioteka, peržaisti debugerem (ocamldebug), Lexer (ocamllex) ir analizatorius (ocamlyacc) generatoriai, iš anksto procesorius gana-spausdintuvas (camlp4) ir dokumentacija generatorius (ocamldoc).

Kas naujo , šioje laidoje:

• Atnaujinta TCL / Tk 8.6.
• Atmesti kelis deklaracijas tuo pačiu metodu arba egzempliorių kintamąjį objektas.
• Paplitimas informacijos tipo link modelio atitikimo, net polimorfinius variantų buvimą.

Kas naujo versijos 4.02.1:

• Atnaujinta TCL / Tk 8.6.
• Atmesti kelis deklaracijas tuo pačiu metodu arba egzempliorių kintamąjį objektas.
• Paplitimas informacijos tipo link modelio atitikimo, net polimorfinius variantų buvimą.

Kas naujo versijos 3.12.1:

• Inkstai nustatomos:
• Nepanaudoti kintamieji neaptikta "apima (konstrukto .. pabaiga)"
• camlp4 peržiūrėtas sintaksė spausdinimas klaidą į Toplevel (pranešė apie caml sąrašą)
• Konfigūruoti: ne apibrėžti _WIN32 pagal Cygwin
• Grūdintas bendrinis palyginimas tuo atveju, kai du užsakymą blokai palyginti ir turi skirtingus rinkinius užsakymą operacijas.
• Grūdintas palyginimas bigarrays tuo atveju, jei abu bigarrays turėti įvairių rūšių.
• Fiksuotas negerai detektuoti ir expm1 () ir log1p ().
• Negalima pridėti .exe priesaga diegiant ocamlmktop apvalkalo scenarijus
• ocamldoc: nedideli pataisymai, susiję su ocamldoc parinkčių ekrane
• Ištaisyta klaida su dideliais vertybių OCAMLRUNPARAM
• neatitikimas tarp deklaracijoje ir apibrėžimo caml_major_collection_slice
• Feature norai:
• Pridėta '-ml-sinonimas "ir" -mli-sinonimu "galimybių ocamldep
• Pridėta '-ocamldoc "galimybė ocamlbuild
• Pridėta galimybė pridėti galimybes ocamlbuild
• Pridėta prieigą prie dabartinių camlp4 analizatoriai ir spausdintuvų
• Geresnis mokymas pasirinkimas float operacijas amd64
• Pridėta "usage_string" funkciją Arg;
• Leisti su apribojimais pridėti tipo lygtis su duomenų tipas apibrėžimą;
• Leisti sujungti "before" žymes, kaip ir kiti tie
• Leisti priklausomybę nuo failo "_oasis"
• Kiti pakeitimai:
• Pasikeitė nutylėjimą nepilnametis krūvos dydis nuo 32k 256 žodžių.
• Pridėta nauja operacija "compare_ext" pagal užsakymą blokų, vadinamas lyginant pasirinktinį blokas vertę su Unboxed sveikojo skaičiaus.

Kas naujo versijos 3.12.0:

• Įrašyti modeliai formą {LBL = paglostymą; _} Pažymėti, kad ne visi ženklai yra sąraše, kryptingai.
• Įspėjimai dabar sunumeruoti ir gali būti įjungiamas ir išjungiamas atskirai. Senoji sistema su raidėmis, žyminčių rinkinių įspėjimai vis dar palaiko.
• Pridėta galimybė "-strict sekos" priversti kairę ranką dalį seka turi linijines agregatines.
• Žemėlapis:. funkcijoms vykdyti nuo nustatytos, kad prasminga žemėlapis
• Pridėti paramą gimtąja dynlink.
• įspėjimas 7 (kodas "m", metodas nepaisymo) semantika pasikeitė (dabar aptinka visus keitimus, o ne tik pakartotiniai apibrėžimai viduje tos pačios klasės kūno), ir ji dabar yra neaktyvus pagal nutylėjimą.

Kas naujo versijos 3.11.2:

• Geriau dokumentacija MIN ir MAX w.r.t. NaN
• ocamlbuild naudoja klaidingą kompiliatorius C failus
• ocamlbuild nenaudoja tinkamai konfigūravimo informaciją,
• Pagal kai "Windows" įrenginių, didelės pradinės kartus Unix lib
• Problemos su scanf ir CRLF
• ocamlmklib problema su Windows
• BSD problema su lizdu adresai, pvz į Unix.getnameinfo
• Problemų su apdorojant Plūdės literały pagal GNU montuotojo
• Problemos su modulių ir privačių tipų

Reikalavimai :

• GNU C kompiliatorius - gcc