OCaml

Je implementace jazyka ML, založený na Caml Light dialektu rozšířena s kompletní třídy objektů na bázi systému a výkonným modulový systém ve stylu standardního ML.
Cíl Caml se skládá ze dvou kompilátory. Jeden generuje bytový kód, který je pak interpretován C program.
Tento kompilátor běží rychle, je přenosný v podstatě jakékoliv 32 nebo 64 bit Unix platformu a generuje kompaktní kód s mírnými nároky na paměť.
Výkon vytvořených programů je docela dobré pro bytecoded implementaci.
Tento kompilátor může být použit buď jako samostatný, šarže orientovaný kompilátor, který produkuje samostatné programy, nebo jako interaktivní, toplevel založené na systému.
Druhý kompilátor vytváří vysoce výkonné nativní kód pro řadu
procesorů.
Kompilace trvá déle a vytváří větší kód, ale generované programy poskytují vynikající výkon, při zachování požadavků na umírněné paměti bytecode kompilátoru.
Cíl Caml je nejpopulárnější varianta jazyka CAML.
Z jazykového hlediska, rozšiřuje základní CAML jazyk s plnohodnotného objektově orientované vrstvy, stejně jako výkonný systém modulů, všichni se připojili zvuk, polymorfní typ systém s typ závěr.
Objective systém Caml je implementace průmyslové síla tohoto jazyka, představovat vysoce výkonný nativní kód kompilátoru (ocamlopt) pro 9 procesorových architektur (IA32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, HPPA strongarm), jakož i bytecode kompilátor (ocamlc) a interaktivní read-eval-print smyčky (ocaml) pro rychlý vývoj a přenosnost.
 Objective Distribuce Caml zahrnuje komplexní standardní knihovna, replay ladicí (ocamldebug), lexer (ocamllex) a parser (ocamlyacc) generátory, pre-procesor docela-tiskárna (camlp4) a generátor dokumentace (ocamldoc).

Co je nového v této verzi:

• Aktualizace na Tcl / Tk 8.6.
• Odmítnout více prohlášení o stejnou metodou nebo proměnné instance v objektu.
• Šíření informace o typu směrem vzoru-vyhovující, a to i za přítomnosti polymorfních variant.

Co je nového ve verzi 4.02.1:

• Aktualizace na Tcl / Tk 8.6.
• Odmítnout více prohlášení o stejnou metodou nebo proměnné instance v objektu.
• Šíření informace o typu směrem vzoru-vyhovující, a to i za přítomnosti polymorfních variant.

Co je nového ve verzi 3.12.1:

• Pupeny pevná:
• Nepoužité proměnné nejsou zjištěny v "zahrnují (struct .. konec)"
• camlp4 revidován syntax tisk chyba v kořenovém (hlášeno na CAML-seznamu)
• configure: nedefinují _WIN32 pod Cygwin
• Kalené generic srovnání v případě, kdy jsou dvě vlastní bloky ve srovnání a mají různé sady uživatelských operací.
• Tvrzené srovnání bigarrays v případě, kdy se obě bigarrays mají různé druhy.
• Opraveno špatné autodetekce expm1 () a log1p ().
• nepřidávejte příponu EXE při instalaci ocamlmktop skript
• ocamldoc: drobné opravy vztahující se k zobrazení možností ocamldoc
• Opravena chyba s velkými hodnotami v OCAMLRUNPARAM
• Nesoulad mezi prohlášením a definicí caml_major_collection_slice
• přání Hrané:
• Added '-ml-synonymem "a" -mli-synonymem "možnosti ocamldep
• Added '-ocamldoc "možnost ocamlbuild
• Přidána možnost přidat možnosti ocamlbuild
• Přidal přístup k aktuálním camlp4 analyzátorů a tiskáren
• Lepší výběr návod pro float operace na amd64
• Přidána "usage_string" funkci pro Arg
• Povolit s omezeními přidat typ rovnici k definici datový typ
• Povolit sloučení "before" značky, jako ty ostatní
• Povolit závislost na souboru "_oasis"
• Další změny:
• Změnil výchozí menší velikost haldy od 32k do 256k slov.
• Přidána nová operace "compare_ext" na vlastní bloky, tzv při porovnávání vlastní hodnotu block s prodeji bez krabičky číslo.

Co je nového ve verzi 3.12.0:

• Záznam vzory formuláře {LBL = pat; _} Označit, že ne všechny štítky jsou uvedeny, záměrně.
• Upozornění jsou nyní očíslovány a je možné zapnout a vypnout individuálně. Starý systém s písmeny odkazujícími na sad varování je stále podporován.
• Přidána možnost '-strict-sekvence "vynutit levou část ruky sekvence mít typ jednotky.
• Mapa:. implementovat funkce Serie které mají smysl pro Map
• Přidává podporu pro nativní dynlink.
• Sémantika varování 7 (kód "M", metoda přepisu) se změnily (to nyní detekuje všechny lokální změny, a to nejen opakované definic uvnitř stejné třídy těla), a to je nyní aktivní ve výchozím nastavení.

Co je nového ve verzi 3.11.2:

• Lepší dokumentace pro min a max w.r.t. NaN
• ocamlbuild používá nesprávný kompilátor pro soubory C
• ocamlbuild nevyužívá správně informace o konfiguraci
• V některých instalacích Windows, vysoké počáteční časy pro Unix lib
• Problém s scanf a CRLF
• ocamlmklib problém v systému Windows
• BSD problém s adres soketu, například v Unix.getnameinfo
• Problém s parsování float literálů GNU assembleru
• Problém s moduly a intimnější typ

Požadavky na

• GNU C kompilátor - gcc