OCaml

Este o implementare a limbajului ML, bazat pe dialectul Caml Light extins cu un sistem complet bazat pe clase de obiecte și un sistem de modul puternic în stilul Standard ML.
Obiectiv Caml cuprinde două compilatoare. Un generează bytecode care este apoi interpretat de un program C.
Acest compilator rulează repede, este portabil pentru orice platforma Unix, în esență, pe 32 sau 64 de biți și generează cod compact, cu cerințele de memorie moderate.
Performanța programelor generate este destul de bun pentru o punere în aplicare bytecoded.
Acest compilator poate fi folosit fie ca un independent, orientate spre lot compilator care produce programe de sine stătătoare, sau ca un sistem interactiv, de nivel inalt pe bază.
Celălalt compilatorul generează cod nativ de inalta performanta pentru un număr
de procesoare.
Compilare durează mai mult și generează cod mai mare, dar programele generate oferi performanțe excelente, păstrând în același timp cerințele de memorie moderate ale compilatorului bytecode.
Obiectivul Caml este cel mai popular varianta a limbii Caml.
Din punct de vedere limbă, se extinde de bază limba Caml cu un strat orientat-obiect cu drepturi depline, precum și un sistem de modul puternic, toate conectate printr-un sunet, sistem de tip polimorf oferind tip inferență.
Sistemul Obiectivul Caml este o implementare industrial-rezistență a acestei limbi, oferind o înaltă performanță nativ-cod compilator (ocamlopt) pentru 9 arhitecturi de procesoare (IA32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, HPPA, StrongARM), precum și un compilator bytecode (ocamlc) și o buclă interactiv de citire-eval-print (OCaml) pentru dezvoltarea rapidă și portabilitate.
 Obiectivul Distribuția Caml include o biblioteca standard global, un debugger reluare (ocamldebug), lexer (ocamllex) și parser (ocamlyacc) generatoare, o pre-procesor destul de imprimantă (camlp4) și un generator de documentare (ocamldoc).

Ce este nou în această versiune:

• Actualizat la Tcl / Tk 8.6.
• Respingere mai multe declarații de aceeași metodă sau instanță variabila intr-un obiect.
• Propaga informații de tip față de model de potrivire, chiar și în prezența variantelor polimorfe.

Ce este nou în versiunea 4.02.1:

• Actualizat la Tcl / Tk 8.6.
• Respingere mai multe declarații de aceeași metodă sau instanță variabila intr-un obiect.
• Propaga informații de tip față de model de potrivire, chiar și în prezența variantelor polimorfe.

Ce este nou în versiunea 3.12.1:

• Muguri fix:
• variabile neutilizate nu detectate în "includ (struct .. final)"
• camlp4 revizuit imprimare sintaxă bug în fiind de nivel inalt (raportat la lista de CAML)
• Configurare: nu definesc _WIN32 sub Cygwin
• călit comparație generic în cazul în care cele două blocuri personalizate sunt comparate și au seturi diferite de operațiuni vamale.
• călit comparație între bigarrays în cazul în care cele două bigarrays au diferite tipuri.
• autodetecție greșit fixă ​​de expm1 () și log1p ().
• Nu adăugați sufixul .exe la instalarea script shell ocamlmktop
• ocamldoc: remedieri minore legate de afișarea opțiunilor ocamldoc
• Fixed bug cu valori mari în OCAMLRUNPARAM
• Necorelarea dintre declararea și definirea caml_major_collection_slice
• dorințele caracteristic:
• adăugată "-ml-sinonim" și opțiuni de "-mli-sinonim de a ocamldep
• adăugată "-ocamldoc" opțiune pentru a ocamlbuild
• posibilitatea adaugarii a adăuga opțiuni pentru a ocamlbuild
• acces Adăugat la interpretoare camlp4 curente și imprimante
• Selecția instrucțiuni îmbunătățită pentru operațiunile pluti pe amd64
• Adăugat un "usage_string" funcție pentru a Arg
• Permiteți cu constrângeri pentru a adăuga o ecuație de tip a unui tip de date definiție
• Permiteți să fuzioneze "before" tag-uri, cum ar fi altele
• Permiteți dependență la dosar "_oasis"
• Alte modificări:
• implicit schimbată minore dimensiune morman de la 32k la 256K cuvinte.
• Adaugata de operare nou "compare_ext" pentru blocuri personalizate, numit atunci când se compară o valoare bloc personalizat cu un număr întreg Unboxed.

Ce este nou în versiunea 3.12.0:

• modele record de forma {LBL = Pat; _} Pentru a marca faptul că nu toate etichetele sunt listate, intentionat.
• Avertismente sunt acum numerotate și poate fi pornit și oprit individual. Vechiul sistem cu litere care se referă la seturi de avertismente este în continuare susținută.
• opțiune adăugată "-strict-secvență" de a forța o parte stângă a secvenței de a avea unitate tip.
• Hartă:. punerea în aplicare a funcțiilor de Set care au sens pentru Harta
• Adauga suport pentru dynlink nativ.
• Semantica avertizare 7 (cod "M", metoda suprascrie) s-au schimbat (detectează acum toti suprascrie, nu doar definiții repetate în interiorul aceluiași organism de clasă), iar acum este inactiv în mod implicit.

Ce este nou în versiunea 3.11.2:

• O mai bună documentare pentru min si max w.r.t. NaN
• ocamlbuild utilizează compilator greșit pentru fișiere C
• ocamlbuild nu utilizează în mod corespunzător configurat, ii
• În unele instalații de Windows, ori ridicate de pornire pentru Unix lib
• Problema cu scanf și CRLF
• problemă ocamlmklib sub Windows
• BSD problemă adrese soclu, de exemplu în Unix.getnameinfo
• problema cu parsarea de literali float de asamblare GNU
• Problema cu module si tipuri particulare

Cerințe :

• GNU compilatorul C - gcc