OCaml

Ez egy végrehajtása ML nyelv alapján Caml Fény nyelvjárást hosszabbítani egy teljes osztály alapú objektum rendszer, valamint egy nagy teljesítményű modul rendszerben a stílus szabvány ML.
Célkitűzés Caml tartalmaz két fordító. Egy generál bájtkódjának amelyet azután értelmezi a C program.
Ez a fordító fut gyorsan, hordozható lényegében bármelyik 32 vagy 64 bites Unix platformon, és létrehoz kompakt kódot mérsékelt memória igénye.
Teljesítménye generált programok elég jó a bytecoded végrehajtását.
Ennek a fordítása lehet használni akár egy önálló, batch-orientált fordító, amely termel önálló programok, vagy mint egy interaktív, toplevel-alapú rendszer.
A másik fordító generál nagy teljesítményű natív kódot több
A processzorok.
Összeállítás hosszabb időt vesz igénybe, és generál nagyobb kódot, de a létrehozott programok kiváló teljesítményt, miközben megőrzi a mérsékelt memória igényét a bájtkóddal fordító.
Célkitűzés Caml a legnépszerűbb változata a Caml nyelven.
Egy nyelv szempontjából, hogy kiterjeszti az alapvető Caml nyelven egy kiforrott objektum-orientált réteg, valamint egy hatékony modul rendszerben minden köti össze egy hangot, polimorf típusú rendszer, mely típusú következtetést.
A cél Caml rendszer egy ipari erősségű végrehajtását ezen a nyelven, mely egy nagy teljesítményű natív kód fordító (ocamlopt) 9 processzor architektúrát (IA32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, HPPA, StrongArm), valamint bájtkódjának fordító (ocamlc) és egy interaktív író-eval-print loop (OCaml) gyors fejlődése és a hordozhatóság.
 A célkitűzés Caml eloszlása ​​tartalmazza az átfogó szabványos könyvtár, a visszajátszás debugger (ocamldebug), lexer (ocamllex) és értelmező (ocamlyacc) generátorok, a pre-processzor elég-nyomtató (camlp4) és egy dokumentációs generátor (ocamldoc).

Mi az új ebben a kiadásban:

• Frissítve Tcl / Tk 8.6.
• Elutasítás több nyilatkozatot is ugyanazt a módszert, vagy például a változó egy objektum.
• Propagate típusú információkat felé mintaillesztéses, még a jelenlétében a polimorf változatait.

Mi az új verzióban 4.02.1:

• Frissítve Tcl / Tk 8.6.
• Elutasítás több nyilatkozatot is ugyanazt a módszert, vagy például a változó egy objektum.
• Propagate típusú információkat felé mintaillesztéses, még a jelenlétében a polimorf változatait.

Mi az új verzióban 3.12.1:

• A rügyek fix:
• A fel nem használt változók nem mutatható ki "közé (struct .. end)"
• camlp4 felülvizsgált szintaxist nyomtatási hiba a toplevel (beszámolt caml-lista)
• configure: nem határozzák _WIN32 alatt cygwin
• Edzett általános összehasonlítást az esetben, ha két egyedi blokkokat képest, és különböző készletek egyéni műveletek.
• Keményített közötti összehasonlítás bigarrays abban az esetben, ahol a két bigarrays különböző fajta.
• Hibás az automatikus detektálása expm1 () és log1p ().
• Ne add .exe utótag, ha telepíti a ocamlmktop shell script
• ocamldoc: kisebb javítások kapcsolatos kijelző ocamldoc lehetőségek
• Javítva hatalmas értékeket OCAMLRUNPARAM
• mismatch Deklaráció és a caml_major_collection_slice
• Feature kívánságait:
• Added "-ml-szinonimája" és a "-mli-szinonimájaként" lehetőségek ocamldep
• Added "-ocamldoc 'opciót ocamlbuild
• Hozzáadás lehetőséget, hogy adjunk lehetőséget a ocamlbuild
• Added hozzáférés az aktuális camlp4 elemzőket és nyomtatók
• Továbbfejlesztett utasítást kiválasztás úszó műveletek amd64
• Added "usage_string" funkciót Arg
• Hagyjuk a korlátok, aki típusú egyenlet egy adattípus meghatározása
• Hagyjuk egyesíteni "before" cimke többinek
• engedélyezése függőség fájl "_oasis"
• Egyéb változások:
• Megváltozott az alapértelmezett kisebb kupac mérete 32k-256k szó.
• Hozzáadott új művelet "compare_ext" a saját blokkokat, úgynevezett összehasonlításakor a saját blokkot értéket egy doboz nélküli egész szám.

Mi az új verzióban 3.12.0:

• Rekord minták formájában {LBL = pat; _} Megjelölni, hogy nem minden címke szerepel, céltudatosan.
• Figyelmeztetések most számozva és a be- és kikapcsolható egyénileg. A régi rendszer betűkkel hivatkozva készlet figyelmeztetések is támogatja.
• Új lehetőség "-strict-szekvencia" kényszeríteni bal oldali részén sorrendben van klíma.
• Térkép: végre funkciók beállítása, hogy van értelme a térkép.
• Add támogatja a natív dynlink.
• A szemantika riasztás 7 (kód "M", a módszer legfontosabb) megváltoztak (ez most már felismeri az összes felülbírálhatják, nem csak ismételni definíciókat azonos osztályú szervezetben), és ez most alapértelmezés szerint inaktív.

Mi az új verzióban 3.11.2:

• Jobb dokumentáció min és max w.r.t. NaN
• ocamlbuild program nem megfelelő fordítóprogram C-fájlok
• ocamlbuild nem használ megfelelő konfigurációs információkat
• Az egyes Windows rendszereken, nagy indítási időt Unix lib
• Probléma a scanf és CRLF
• ocamlmklib probléma Windows alatt
• BSD probléma socket címeket, például A Unix.getnameinfo
• probléma elemzésekor úszó literálok a GNU assembler
• Probléma a modulok és saját típusok

követelmények :

• GNU C fordító - gcc