OCaml

On täytäntöönpano ML kielen, joka perustuu CAML Light murre laajennettu täydellinen luokan perustuva objekti järjestelmä ja tehokas moduuli järjestelmä tyyliin Standard ML.
Tavoite CAML käsittää kaksi kerääjiä. Yksi tuottaa bytecode joka sitten tulkitsee C-ohjelma.
Tämä kääntäjä toimii nopeasti, on kannettava oleellisesti tahansa 32 tai 64 bittinen Unix alustalla ja luo kompakti koodia kohtalainen muistin vaatimukset.
Suorituskyky omien ohjelmien on varsin hyvä bytecoded täytäntöönpanoa.
Tämä kääntäjä voidaan käyttää joko itsenäisenä, erä suuntautunut kääntäjä, joka tuottaa standalone ohjelmia, tai interaktiivinen, toplevel-pohjainen järjestelmä.
Muut kääntäjä tuottaa korkean suorituskyvyn koodiksi useita
jalostajien.
Kokoaminen kestää kauemmin ja tuottaa suuremmat koodi, mutta omien ohjelmien antaa erinomaisen suorituskyvyn, säilyttäen kohtalainen muisti vaatimukset bytecode kääntäjä.
Tavoite CAML on suosituin variantti CAML kielen.
Vuodesta kieli näkökulmasta, se ulottuu ydin CAML kieli täysivaltainen olio-kerros, sekä tehokas moduuli järjestelmä, kaikki kytketty ääni, polymorfinen tyyppi, jonka ominaisuuksiin tyyppi päättely.
Tavoite CAML järjestelmä on huipputehokas täytäntöönpanoa tällä kielellä, jossa korkean suorituskyvyn natiivi-koodin kääntäjä (ocamlopt) 9 prosessoriarkkitehtuureja (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongARM), sekä bytecode kääntäjä (ocamlc) ja interaktiivinen luku eval-print silmukka (ocaml) nopeaa kehittämistä ja siirrettävyys.
 Tavoite CAML jakelu sisältää kattavan standardin kirjasto, replay debugger (ocamldebug), lexer (ocamllex) ja jäsennin (ocamlyacc) generaattorit, pre-prosessori aika-kirjoitin (camlp4) ja dokumentointi generaattorin (ocamldoc).

Mikä on uusi tässä julkaisussa:

• Päivitetty Tcl / Tk 8.6.
• Hylkää useita julistuksia samalla menetelmällä tai esimerkiksi muuttujan objekti.
• Etenevät tyyppi tietoa kohti kuvio-matching, vaikka läsnä polymorfisten varianttien.

Mikä on uusi versiossa 4.02.1:

• Päivitetty Tcl / Tk 8.6.
• Hylkää useita julistuksia samalla menetelmällä tai esimerkiksi muuttujan objekti.
• Etenevät tyyppi tietoa kohti kuvio-matching, vaikka läsnä polymorfisten varianttien.

Mikä on uusi versiossa 3.12.1:

• silmut kiinteä:
• Käyttämätön muuttujia ei havaita "kuuluu (struct .. loppu)"
• camlp4 tarkistettu syntaksin tulostus vian toplevel (raportoi CAML-luettelo)
• Määritä: ei määritellä _WIN32 alle cygwin
• Karkaistu yleinen vertailu tapauksessa, jossa kaksi valinnaista lohkoa verrataan ja on erilaista mukautettuja toimintoja.
• Hardened vertailu bigarrays tapauksessa, jossa kaksi bigarrays on erilaisia.
• Kiinteä väärä tunnistuksen of expm1 () ja log1p ().
• Älä lisää .exe pääte asennettaessa ocamlmktop komentotulkkiskripti
• ocamldoc: pieniä korjauksia liittyvä näyttö ocamldoc vaihtoehdoista
• Kiinteä vika valtavia arvoja OCAMLRUNPARAM
• epäsuhta ilmoitus ja määrittely caml_major_collection_slice
• Ominaisuus toiveita:
• Lisätty '-ML-synonyymi "ja" -mli-synonyymi "vaihtoehtoja ocamldep
• Lisätty '-ocamldoc "vaihtoehto ocamlbuild
• Lisätty mahdollisuus lisätä vaihtoehtoja ocamlbuild
• Lisätty pääsy nykyiseen camlp4 jäsentimet ja tulostimet
• Parannettu ohje valinnan float toimintansa amd64
• Lisätty "usage_string" toimintoa Arg
• Salli rajoitteet lisätä tyypin yhtälö tietotyyppi määritelmä
• Anna yhdistää "before" tageja kuten toisilla
• Salli riippuvuutta tiedosto "_oasis"
• Muut muutokset:
• Muutettu oletuksena pieniä keon koon 32k 256k sanoja.
• Lisätty uusi operaatio "compare_ext" custom lohkot, kutsutaan verrattaessa mukautetun lohkon arvon unboxed kokonaisluku.

Mikä on uusi versiossa 3.12.0:

• Tallenna kuvioita muotoa {LBL = Pat; _} Merkitä, että kaikki tarrat on lueteltu, määrätietoisesti.
• Varoitukset ovat nyt numeroitu ja niitä voi kytkeä päälle ja pois erikseen. Vanha järjestelmä kirjeissä mainittiin erilaista varoitusten tuetaan edelleen.
• Lisätty mahdollisuus '-strict-sekvenssi "pakottaa vasemmalta osa sekvenssin on tyypin laite.
• Kartta: toteuttaa toiminnot Set jotka järkeä Kartta.
• Lisää tukea syntyperäinen dynlink.
• semantiikka varoitus 7 (koodi "M", menetelmä ohitus) ovat muuttuneet (se tunnistaa nyt kaikki ohitukset, ei vain toisti määritelmien sisällä samaan luokkaan kehossa), ja se on nyt aktiivinen oletuksena.

Mikä on uusi versiossa 3.11.2:

• Parempi dokumentaatiosta min ja max w.r.t. NaN
• ocamlbuild käyttää väärin kääntäjä C tiedostoja
• ocamlbuild ei käytä oikein määritystiedot
• Joidenkin Windows-asennuksia, korkea käynnistyksen kertaa Unix lib
• Ongelma scanf ja CRLF
• ocamlmklib ongelma Windows
• BSD ongelma socket osoitteita, esim. in Unix.getnameinfo
• ongelma jäsentäminen float literaalien GNU kokoajan
• Ongelma moduulit ja yksityisen tyypit

vaatimukset :

• GNU C-kääntäjä - gcc