OCaml

Ito ay isang pagpapatupad ng mga wika ML, batay sa mga Caml Light diyalekto pinalawak na may isang kumpletong klase-based object system at isang malakas na sistema ng module sa estilo ng Standard ML.
Binubuo Layunin Caml dalawang compiler. One bumubuo bytecode kung saan pagkatapos ay naisalin na sa pamamagitan ng isang programa C.
Tumatakbo tagatala na ito nang mabilis, ay portable na mahalagang anumang 32 o 64 bit Unix platform at bumubuo ng compact code na may katamtamang mga kinakailangan memory.
Pagganap ng nabuong mga programa ay lubos na mabuti para sa isang bytecoded pagpapatupad.
Compiler ito ay maaaring gamitin ang alinman bilang isang standalone, batch-oriented compiler na gumagawa ng standalone na mga programa, o bilang isang interactive, system toplevel-based.
Bumubuo ang iba pang mga compiler mataas na pagganap ng mga native na code para sa isang bilang
ng processors.
Compilation ay mas matagal at bumubuo ng mas malaking code, ngunit ang nabuong programa naghahatid ng mahusay na pagganap, habang ang pagpapanatili ng moderate kinakailangan sa memorya ng bytecode compiler.
Layunin Caml ay ang pinaka-popular na mga variant ng wika Caml.
Mula sa isang wika na pananaw, ito ay umaabot ang core Caml wika na may isang ganap na nasimulan object-oriented layer, pati na rin ang isang malakas na sistema ng module, ang lahat ng konektado sa pamamagitan ng isang tunog, polymorphic uri ng sistema na nagtatampok ng uri ng pagkakilala.
Ang Layunin Caml sistema ay isang pagpapatupad pang-industriya-lakas ng wikang ito, na nagtatampok ng isang mataas na pagganap ng katutubong-code compiler (ocamlopt) para sa 9 processor architecture (IA32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, HPPA, Strongarm), pati na rin ang isang bytecode compiler (ocamlc) at isang loop interactive read-eval-print (ocaml) para sa mabilis na pag-unlad at maaaring dalhin.
 Ang Layunin ng pamamahagi Caml kabilang ang malawakang standard library, isang replay debugger (ocamldebug), lexer (ocamllex) at parser (ocamlyacc) generators, isang pre-processor pretty-printer (camlp4) at isang babasahin generator (ocamldoc).

Ano ang bagong sa paglabas:

• Na-update sa Tcl / Tk 8.6.
• Tanggihan ang maramihang mga pagpapahayag ng parehong paraan o halimbawa ng variable sa isang bagay.
• palaganapin uri ng impormasyon patungo sa pattern-matching, kahit na sa pagkakaroon ng polymorphic variant.

Ano ang bagong sa bersyon 4.02.1:

• Na-update sa Tcl / Tk 8.6.
• Tanggihan ang maramihang mga pagpapahayag ng parehong paraan o halimbawa ng variable sa isang bagay.
• palaganapin uri ng impormasyon patungo sa pattern-matching, kahit na sa pagkakaroon ng polymorphic variant.

Ano ang bagong sa bersyon 3.12.1:

• Buds naayos:
• Hindi nagamit na mga variable ay hindi nakita sa "isama (struct .. end)"
• camlp4 binagong syntax printing bug sa toplevel (iniulat sa CAML-list)
• configure: huwag tukuyin _WIN32 ilalim cygwin
• Hardened generic paghahambing sa kaso kung saan dalawang custom na mga bloke ay inihambing at may iba't-ibang mga hanay ng mga custom na mga operasyon.
• Hardened paghahambing sa pagitan bigarrays sa kaso kung saan ang dalawang bigarrays may iba't-ibang uri.
• Mga Fixed maling autodetection ng expm1 () at log1p ().
• Huwag idagdag .exe suffix kapag i-install ang ocamlmktop shell script
• ocamldoc: menor de edad aayos na kaugnay sa display ng mga opsyon ocamldoc
• Mga Fixed bug na may malaking halaga sa OCAMLRUNPARAM
• Maling pagtutugma sa pagitan ng mga deklarasyon at kahulugan ng caml_major_collection_slice
• kagustuhan Feature:
• Added '-ml-synonym' at '-mli-synonym' na mga pagpipilian upang ocamldep
• option Added '-ocamldoc' to ocamlbuild
• Idinagdag posibilidad upang magdagdag ng mga pagpipilian sa ocamlbuild
• Idinagdag access sa kasalukuyang camlp4 parsers at printer
• Pinahusay na pagpipilian ng pagtuturo para sa mga operasyon ng float sa amd64
• Nagdagdag ng function na 'usage_string' to Arg
• Payagan may kinalaman upang magdagdag ng isang uri equation sa isang kahulugan datatype
• Payagan upang pagsamahin ang 'before' tag tulad ng iba pang mga bago
• Payagan ang dependency sa file "_oasis"
• Iba pang mga pagbabago:
• Nagbago default minor magbunton laki mula sa 32k sa 256k salita.
• Nagdagdag ng bagong operasyon 'compare_ext' to custom blocks, na tinatawag na kapag ang paghahambing ng isang pasadyang halaga block sa isang unboxed integer.

Ano ang bagong sa bersyon 3.12.0:

• I-record ng stock ng form {LBL = pat; _} Upang markahan na hindi lahat ng mga label ay nakalista, kusa.
• Mga Babala ay ngayon bilang at maaaring lumipat sa at off isa-isa. Ang lumang sistema na may mga titik na tumutukoy sa mga hanay ng mga babala ay suportado pa rin.
• Idinagdag pagpipilian '-strict-sequence' upang pilitin kaliwang bahagi ng pagkakasunod-sunod na magkaroon ng uri ng unit.
• Map:. ipatupad andar mula Set na magkaroon ng kahulugan para sa Map
• Magdagdag ng suporta para sa mga katutubong dynlink.
• Ang semantics ng babala 7 (code 'M', paraan override) ay nagbago (nakikita nito ngayon ang lahat ng mga override, hindi lamang paulit-ulit na pagbibigay-kahulugan sa loob ng parehong katawan class), at ito ngayon ay aktibo sa pamamagitan ng default.

Ano ang bagong sa bersyon 3.11.2:

• Mas mahusay na dokumentasyon para sa min at max w.r.t. NaN
• ocamlbuild gumagamit maling compiler para sa C file
• ay hindi gumagamit ng maayos ocamlbuild configuration impormasyon
• Sa ilalim ng ilang mga pag-install ng Windows, mataas na ulit start-up para sa Unix lib
• Problema sa scanf at CRLF
• problema ocamlmklib sa ilalim ng Windows
• BSD problema sa socket address, hal sa Unix.getnameinfo
• Isyu sa pag-parse ng float literals ng GNU assembler
• Problema sa module at pribadong uri

Mga kinakailangan

• GNU C compiler - gcc