OCaml

Dit is 'n implementering van die ML taal, gebaseer op die Caml Light dialek uitgebrei met 'n volledige klas-gebaseerde voorwerp stelsel en 'n kragtige module stelsel in die styl van Standard ML.
Doel Caml bestaan ​​uit twee samestellers. Een genereer bytecode wat dan geïnterpreteer deur 'n C program.
Dit samesteller loop vinnig, is draagbaar wese enige 32 of 64 bit Unix platform en genereer kompakte kode met matige geheue vereistes.
Prestasie van gegenereer programme is baie goed vir 'n bytecoded implementering.
Dit samesteller kan gebruik word as 'n selfstandige,-joernaal georiënteerde samesteller dat selfstandige programme produseer, of as 'n interaktiewe, toplevel gebaseerde stelsel.
Die ander samesteller genereer hoë-prestasie inheemse kode vir 'n aantal
verwerkers.
Samestelling neem langer en genereer groter-kode, maar die gegenereer programme te lewer uitstekende prestasie, terwyl die behoud van die gematigde geheue vereistes van die bytecode samesteller.
Doel Caml is die mees populêre variant van die Caml taal.
Van 'n taal oogpunt, dit strek die kern Caml taal met 'n volwaardige objekgeoriënteerde laag, sowel as 'n kragtige module stelsel, al verbind met 'n gesonde, polimorfiese tipe stelsel met tipe afleiding.
Die doelwit Caml stelsel is 'n industriële-sterkte implementering van hierdie taal, met 'n hoë-prestasie moedertaal-kode samesteller (ocamlopt) vir 9 verwerker argitekture (IA32, PowerPC, AMD64, Alpha Sparc, Mips, IA64, hppa, geweldig), sowel as 'n bytecode samesteller (ocamlc) en 'n interaktiewe lees-eval-druk lus (ocaml) vir 'n vinnige ontwikkeling en port.
 Die doelwit Caml verspreiding sluit 'n omvattende standaard biblioteek, 'n herhaling debugger (ocamldebug), laer is (ocamllex) en parser (ocamlyacc) kragopwekkers, 'n pre-verwerker mooi-drukker (camlp4) en 'n dokumentasie generator (ocamldoc).

Wat is nuut in hierdie release:

• Opgedateer om Tcl / Tk 8.6.
• Verwerp verskeie verklarings van dieselfde metode of instansie veranderlike in 'n voorwerp.
• Propageer tipe inligting teenoor patroon ooreenstem, selfs in die teenwoordigheid van polimorfiese variante.

Wat is nuut in die weergawe 4.02.1:

• Opgedateer om Tcl / Tk 8.6.
• Verwerp verskeie verklarings van dieselfde metode of instansie veranderlike in 'n voorwerp.
• Propageer tipe inligting teenoor patroon ooreenstem, selfs in die teenwoordigheid van polimorfiese variante.

Wat is nuut in die weergawe 3.12.1:

• Buds vaste:
• Ongebruikte veranderlikes nie in bespeur "sluit (struct .. end)"
• camlp4 hersiene sintaksis druk fout in die bokant (berig op caml-lys)
• instel: moenie _WIN32 nie definieer onder Cygwin
• Verharde generiese vergelyking in die geval waar twee persoonlike blokke word vergelyk en het verskillende stelle van persoonlike bedrywighede.
• Verharde vergelyking tussen bigarrays in die geval waar die twee bigarrays verskillende soorte.
• Vaste verkeerde outobespeuring van expm1 () en log1p ().
• Moenie voeg exe agtervoegsel by die installering van die ocamlmktop dop script
• ocamldoc: klein fixes wat verband hou met die vertoning van ocamldoc opsies
• Vaste fout met groot waardes in OCAMLRUNPARAM
• Wanaanpassing tussen verklaring en definisie van caml_major_collection_slice
• Feature wense:
• Added '-ml-sinoniem "en" -mli-sinoniem' opsies om ocamldep
• Added '-ocamldoc 'n opsie om ocamlbuild
• Bygevoeg moontlikheid om opsies te voeg tot ocamlbuild
• Bygevoeg toegang tot die huidige camlp4 parsers en drukkers
• Verbeterde onderrig seleksie vir float bedrywighede op amd64
• Bygevoeg 'n 'usage_string 'n funksie om Arg
• Laat met beperkings op 'n tipe vergelyking te voeg tot 'n data type definisie
• Laat om saam te smelt 'before' tags soos ander kinders
• Laat afhanklikheid lêer "_oasis"
• Ander veranderinge:
• verander verstek geringe hoop grootte 32k tot 256k woorde.
• Bygevoeg nuwe operasie "compare_ext 'om persoonlike blokke, genoem wanneer 'n persoonlike blok waarde met 'n Unboxed heelgetal vergelyk.

Wat is nuut in die weergawe 3.12.0:

• Rekord patrone van die vorm {LBL = pat; _} Te merk dat nie alle etikette gelys, doelgerig.
• Waarskuwings nou getel en kan aan- en afgeskakel individueel. Die ou stelsel met letters verwys na stelle van waarskuwings word steeds ondersteun.
• Bygevoeg opsie '-strict-volgorde' to linkerhand deel van volgorde dwing om soort eenheid het.
• Kaart:. implementeer funksies van Set wat sin maak vir 'n kaart
• ondersteuning te bied vir moedertaal dynlink.
• Die semantiek van die waarskuwing 7 (kode "M", metode ignoreer) het verander (dit ontdek nou al oorheers, nie net herhaal definisies binne dieselfde klas liggaam), en dit is nou onaktief by verstek.

Wat is nuut in die weergawe 3.11.2:

• Beter dokumentasie vir min en max w.r.t. NaN
• ocamlbuild gebruik verkeerde vertaler vir C lêers
• ocamlbuild nie behoorlik gebruik opset inligting
• Onder sekere Windows installasies, hoë begin-up tye vir Unix lib
• Probleem met scanf en CRLF
• ocamlmklib probleem onder Windows
• BSD probleem met socket adresse, bv in Unix.getnameinfo
• probleem met parsing van float literals deur die GNU assembler
• Probleem met modules en private tipes

Vereistes :

• GNU C samesteller - gcc