OCaml

Det er en implementering av ML språk, basert på Caml Lys dialekt utvidet med en komplett klassebasert objekt system og en kraftig modul system i stil med Standard ML.
Mål Caml består av to kompilatorer. Man genererer bytekode som så blir tolket av en C-program.
Dette kompilatoren går raskt, er bærbar til hovedsak hvilken som helst 32 eller 64 bit Unix-plattform og genererer kompakt kode med moderate krav til minne.
Utførelse av genererte programmer er ganske bra for en bytecoded gjennomføring.
Dette kompilatoren kan brukes enten som en frittstående, batch-orientert kompilator som produserer frittstående programmer, eller som en interaktiv, toplevel-basert system.
Den andre kompilatoren genererer høy-ytelse egen kode for et antall
av prosessorer.
Utarbeidelse tar lengre tid og genererer større kode, men de genererte programmene leverer utmerket ytelse, og samtidig beholde de moderate krav til minne av Bytecode kompilatoren.
Mål Caml er den mest populære varianten av Caml språket.
Fra et språk ståsted, strekker det kjerne Caml språk med en fullverdig objekt-orientert lag, samt en kraftig modul system, alt koblet sammen med en lyd, polymorfe type system med typen slutning.
The Objective Caml system er en industriell styrke gjennomføringen av dette språket, med en høy ytelse innfødte-kode kompilator (ocamlopt) for 9 prosessorarkitekturer (IA32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, HPPA, Strongarm), samt en Bytecode kompilator (ocamlc) og en interaktiv skrive eval-print loop (Objective Caml) for rask utvikling og portabilitet.
 The Objective Caml distribusjonen inkluderer en omfattende standard bibliotek, replay debugger (ocamldebug), lexer (ocamllex) og parser (ocamlyacc) generatorer, en pre-prosessor pen-printer (camlp4) og en dokumentasjon generator (ocamldoc).

Hva er nytt i denne versjonen:

• Oppdatert til Tcl / Tk 8.6.
• Avvis flere erklæringer av samme metode eller forekomst variabel i et objekt.
• Overfør typen informasjon mot mønstergjenkjennings, selv i nærvær av polymorfe varianter.

Hva er nytt i versjon 4.02.1:

• Oppdatert til Tcl / Tk 8.6.
• Avvis flere erklæringer av samme metode eller forekomst variabel i et objekt.
• Overfør typen informasjon mot mønstergjenkjennings, selv i nærvær av polymorfe varianter.

Hva er nytt i versjon 3.12.1:

• Buds fast:
• Ubrukte variabler som ikke registreres i "inkluderer (struct .. slutten)"
• camlp4 revidert syntaks utskrift bug i toppnivå (rapportert på Caml-liste)
• configure: ikke definerer _WIN32 henhold cygwin
• Herdet generisk forhold i det tilfelle hvor to tilpassede blokker er sammenstilt og har forskjellige sett av tilpassede operasjoner.
• Herdet sammenligning mellom bigarrays i saken der to bigarrays har forskjellige typer.
• Fast feil oppdaging av expm1 () og log1p ().
• Ikke legg .exe suffiks når du installerer ocamlmktop shell script
• ocamldoc: mindre reparasjoner i forbindelse med visningen av ocamldoc alternativer
• Rettet feil med store verdier i OCAMLRUNPARAM
• Mismatch mellom deklarasjon og definisjon av caml_major_collection_slice
• Feature ønsker:
• Lagd '-ml-synonym' og '-mli-synonym "alternativer til ocamldep
• Lagd '-ocamldoc alternativet til ocamlbuild
• Lagt til mulighet for å legge til alternativer for å ocamlbuild
• Lagt tilgang til dagens camlp4 parsere og skrivere
• Forbedret instruksjon utvalg for float operasjoner på amd64
• Lagt til en 'usage_string "-funksjonen til Arg
• Tillat med begrensninger for å legge til en type ligning til en datatype definisjon
• Tillat å flette 'before' tagger som andre seg
• Tillat avhengighet filen "_oasis"
• Andre endringer:
• Endret standard minor heap størrelse fra 32k til 256k ord.
• Lagt ny operasjon 'compare_ext' til tilpassede blokker, kalt når man sammenligner en tilpasset blokk verdi med uemballerte heltall.

Hva er nytt i versjon 3.12.0:

• Rekord mønstre på formen {lbl = klapp; _} For å markere at ikke alle etikettene er oppført, målrettet.
• Advarsler er nå nummerert og kan slås av og på individuelt. Det gamle systemet med bokstaver henviser til sett med advarsler fortsatt støttes.
• Lagt alternativet '-strict-sekvens "å tvinge venstre del av sekvensen har type enhet.
• Kart. implementere funksjoner fra Set som gir mening for kart
• Legg til støtte for native dynlink.
• Semantikk advarsel 7 (kode 'M', metode overstyring) har endret (det nå oppdager alle overstyringer, ikke bare gjentatte definisjoner inne i samme klasse kroppen), og det er nå skrudd av som standard.

Hva er nytt i versjon 3.11.2:

• Bedre dokumentasjon for min og maks w.r.t. NaN
• ocamlbuild bruker feil kompilator for C-filer
• ocamlbuild bruker ikke riktig Konfigurasjonsinformasjon
• Under enkelte Windows-installasjoner, høye oppstartstider for Unix lib
• Problem med scanf og CRLF
• ocamlmklib problem under Windows
• BSD problem med socket adresser, f.eks i Unix.getnameinfo
• Issue med analyseringen av float litteraler av GNU assembler
• Problem med moduler og private typer

Krav :

• GNU C-kompilator - gcc