OCaml

Det er en implementering af ML sprog, baseret på Caml Light dialekt udvidet med en komplet klasse-baserede objekt og et kraftfuldt modulsystem i stil med Standard ML.
Formål Caml består af to compilere. Den ene genererer bytekode, som derefter fortolkes af et C-program.
Denne kompiler kører hurtigt, er bærbare til væsentlige enhver 32 eller 64 bit Unix platform og genererer kompakt kode med moderate til hukommelse.
Udførelse af genererede programmer er ganske godt for en bytecoded implementering.
Denne compiler kan anvendes enten som en enkeltstående, batch-orienteret compiler, der producerer standalone programmer eller som et interaktivt, topniveau-baseret system.
Den anden compiler genererer højtydende native kode for en række
af processorer.
Compilation tager længere tid og genererer større kode, men de genererede programmer leverer fremragende ydeevne, samtidig med at de moderate hukommelseskrav for bytekode compiler.
Formål Caml er den mest populære variant af Caml sprog.
Fra et sprog synspunkt, det udvider kernen Caml sproget med et fuldt udbygget objektorienteret lag, samt et kraftfuldt modulsystem, alle forbundet med en lyd, polymorf typen system med typen inferens.
Mål Caml-systemet er en industriel styrke gennemførelsen af ​​dette sprog, og byder på en højtydende native-kode compiler (ocamlopt) til 9 processor arkitekturer (ia32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongARM), samt en bytecode compiler (ocamlc) og en interaktiv læse-eval-print løkke (ocaml) til hurtig udvikling og bærbarhed.
 Mål Caml distributionen indeholder en omfattende standard bibliotek, en replay debugger (ocamldebug), Lexer (ocamllex) og parser (ocamlyacc) generatorer, en pre-processor pretty-printer (camlp4) og en dokumentation generatoren (ocamldoc).

Hvad er nyt i denne udgivelse:

• Opdateret til Tcl / Tk 8.6.
• Afvis flere erklæringer af samme metode eller instans variabel i et objekt.
• Udbrede typen information til mønster-matching, selv ved tilstedeværelse af polymorfe varianter.

Hvad er nyt i version 4.02.1:

• Opdateret til Tcl / Tk 8.6.
• Afvis flere erklæringer af samme metode eller instans variabel i et objekt.
• Udbrede typen information til mønster-matching, selv ved tilstedeværelse af polymorfe varianter.

Hvad er nyt i version 3.12.1:

• Buds fast:
• Ubrugte variabler ikke påvist i "omfatter (struct .. slut)"
• camlp4 reviderede syntaks udskrivning fejl i topniveau (rapporteret på CAML-listen)
• configure: definerer ikke _WIN32 under Cygwin
• Hærdet generisk sammenligning i det tilfælde, hvor to tilpassede blokke sammenlignes og har forskellige sæt af brugerdefinerede operationer.
• Hærdet sammenligning mellem bigarrays i det tilfælde, hvor de to bigarrays har forskellige slags.
• Fast forkert autodetektering af expm1 () og log1p ().
• Du må ikke tilføje .exe suffix, når du installerer ocamlmktop shell script
• ocamldoc: mindre rettelser i forbindelse med visningen af ​​ocamldoc muligheder
• Fixed bug med store værdier i OCAMLRUNPARAM
• Uoverensstemmelse mellem angivelse og definition af caml_major_collection_slice
• Feature ønsker:
• Tilføjet '-ML-synonym "og" -mli-synonym' muligheder for at ocamldep
• Tilføjet '-ocamldoc' muligheden for at ocamlbuild
• Tilføjet mulighed for at tilføje muligheder for at ocamlbuild
• Tilføjet adgang til aktuelle camlp4 parsere og printere
• Forbedret instruktion udvælgelse til float operationer på AMD64
• Tilføjet en "usage_string" funktion til Arg
• Tillad med begrænsninger for at tilføje en type ligning til en datatype definition
• Tillad at fusionere "before 'tags som andre dem
• Tillad afhængigheden af ​​filen "_oasis"
• Andre ændringer:
• Ændret standard mindre bunke størrelse fra 32K til 256K ord.
• Tilføjet ny operation 'compare_ext "til brugerdefinerede blokke, kaldet når man sammenligner en brugerdefineret blok værdi med en unboxed heltal.

Hvad er nyt i version 3.12.0:

• Optag mønstre af formen {LBL = pat; _} For at markere, at ikke alle mærkater er angivet, målbevidst.
• Advarsler nu nummererede og kan tændes og slukkes individuelt. Det gamle system med bogstaver, der henviser til sæt advarsler stadig understøttet.
• Tilføjet mulighed '-strict-sekvens' for at tvinge venstre del af sekvensen til at have typen enhed.
• Kort:. implementere funktioner fra Set, der giver mening for kort
• Tilføj støtte til indfødte dynlink.
• De semantik af advarsel 7 (kode 'M', metode overstyring) har ændret (det nu registrerer alle tilsidesættelser, ikke kun gentagne definitioner inde i samme klasse kroppen), og det er nu inaktiv som standard.

Hvad er nyt i version 3.11.2:

• Bedre dokumentation for min og max w.r.t. NaN
• ocamlbuild bruger forkert compiler til C-filer
• ocamlbuild bruger ikke rigtigt konfigurationsoplysninger
• Under nogle Windows-installationer, høje opstartstider for Unix lib
• Problem med scanf og CRLF
• ocamlmklib problem under Windows
• BSD problem med socket adresser, fx i Unix.getnameinfo
• Problem med parsing af float litteraler af GNU assembler
• Problem med moduler og private typer

Krav :

• GNU C compiler - gcc