OCaml

Πρόκειται για μια υλοποίηση της γλώσσας ML, με βάση την διάλεκτο Caml Φως επεκταθεί με πλήρη ταξικό σύστημα αντικειμένων και ένα ισχυρό σύστημα μονάδα στο στυλ του Προτύπου ML.
Στόχος Caml περιλαμβάνει δύο μεταγλωττιστές. Ένα δημιουργεί bytecode το οποίο στη συνέχεια ερμηνεύεται από ένα πρόγραμμα C.
Αυτό compiler τρέχει γρήγορα, είναι φορητή ουσιαστικά σε κάθε 32 ή 64 bit πλατφόρμα UNIX και δημιουργεί συμπαγή κώδικα με μέτρια απαιτήσεις σε μνήμη.
Απόδοση των παραγόμενων προγραμμάτων είναι αρκετά καλή για ένα bytecoded εφαρμογή.
Αυτό compiler μπορεί να χρησιμοποιηθεί είτε ως αυτόνομο, παρτίδα προσανατολισμένη compiler που παράγει αυτόνομα προγράμματα, ή ως μια διαδραστική, ανωτέρου επιπέδου με βάση το σύστημα.
Το άλλο compiler δημιουργεί υψηλής απόδοσης εγγενή κώδικα για έναν αριθμό
των μεταποιητών.
Συγκέντρωση διαρκεί περισσότερο και δημιουργεί μεγαλύτερες κώδικα, αλλά τα παραγόμενα προγράμματα προσφέρουν εξαιρετική απόδοση, διατηρώντας παράλληλα τις μέτριες απαιτήσεις σε μνήμη του compiler bytecode.
Στόχος Caml είναι η πιο δημοφιλής παραλλαγή της γλώσσας Caml.
Από την άποψη της γλώσσας, επεκτείνει τον πυρήνα γλώσσα Caml με πλήρη object-oriented στρώμα, καθώς και ένα ισχυρό σύστημα της μονάδας, όλα συνδέονται μεταξύ τους με έναν ήχο, πολυμορφικό σύστημα τύπου που χαρακτηρίζει τον τύπο συμπέρασμα.
Το Αντικειμενικό σύστημα Caml είναι μια εφαρμογή βιομηχανικής ισχύος αυτής της γλώσσας, διαθέτει ένα υψηλής απόδοσης εγγενή κώδικα compiler (ocamlopt) για 9 αρχιτεκτονικές επεξεργαστών (IA32, PowerPC, AMD64, η Alpha, Sparc, ΠΕΠ, IA64, HPPA, StrongARM), καθώς και compiler bytecode (ocamlc) και έναν βρόχο διαδραστικό ανάγνωσης-EVAL-εκτύπωσης (OCaml) για γρήγορη ανάπτυξη και τη φορητότητα.
 Το στόχο διανομής Caml περιλαμβάνει μια ολοκληρωμένη πρότυπη βιβλιοθήκη, μια επανάληψη πρόγραμμα εντοπισμού σφαλμάτων (ocamldebug), lexer (ocamllex) και αναλυτή (ocamlyacc) γεννήτριες, ένα προ-επεξεργαστή όμορφη-εκτυπωτή (camlp4) και μια γεννήτρια τεκμηρίωση (ocamldoc).

Τι είναι καινούργιο σε αυτή την έκδοση:

• Ενημέρωση για την Tcl / Tk 8.6.
• Απόρριψη πολλαπλές δηλώσεις του την ίδια μέθοδο και μεταβλητό παράδειγμα σε ένα αντικείμενο.
• πολλαπλασιάζονται πληροφορίες προς τον τύπο προτύπων προσομοίωσης, ακόμη και με την παρουσία των πολυμορφικών παραλλαγών.

Τι είναι καινούργιο στην έκδοση 4.02.1:

• Ενημέρωση για την Tcl / Tk 8.6.
• Απόρριψη πολλαπλές δηλώσεις του την ίδια μέθοδο και μεταβλητό παράδειγμα σε ένα αντικείμενο.
• πολλαπλασιάζονται πληροφορίες προς τον τύπο προτύπων προσομοίωσης, ακόμη και με την παρουσία των πολυμορφικών παραλλαγών.

Τι είναι καινούργιο στην έκδοση 3.12.1:

• μπουμπούκια σταθερό:
• Οι αχρησιμοποίητες μεταβλητές που δεν ανιχνεύεται στο "περιλαμβάνουν (struct .. τέλος)"
• camlp4 αναθεωρημένο σφάλμα εκτύπωσης σύνταξη στον κορυφαίο (αναφερόμενη στο CAML-list)
• Διαμόρφωση: δεν καθορίζουν _WIN32 υπό cygwin
• βαμμένο γενική σύγκριση στην περίπτωση όπου οι δύο προσαρμοσμένα μπλοκ σε σχέση και έχουν διαφορετικά σύνολα προσαρμοσμένων ενεργειών.
• Σκληρυμένο σύγκριση μεταξύ bigarrays στην περίπτωση όπου οι δύο bigarrays έχουν διαφορετικά είδη.
• Διορθώθηκε το λάθος αυτόματη ανίχνευση των expm1 () και log1p ().
• Μην προσθέτετε .exe κατάληξη κατά την εγκατάσταση του σεναρίου ocamlmktop κέλυφος
• ocamldoc: μικρές διορθώσεις που σχετίζονται με την απεικόνιση των επιλογών ocamldoc
• Διορθώθηκε bug με τεράστιες αξίες OCAMLRUNPARAM
• Ασυμφωνία μεταξύ της δήλωσης και ο ορισμός των caml_major_collection_slice
• ευχές Χαρακτηριστικό γνώρισμα:
• Προστέθηκε '-ml-συνώνυμο »και« -mli-συνώνυμο «επιλογές για να ocamldep
• Προστέθηκε '-ocamldoc' επιλογή να ocamlbuild
• Προστέθηκε δυνατότητα να προσθέσετε επιλογές για ocamlbuild
• Προστέθηκε πρόσβαση σε τρέχουσες αναλυτές camlp4 και εκτυπωτές
• Βελτίωση της επιλογής οδηγίες για τις πράξεις επιπλέουν amd64
• Προστέθηκε μια «usage_string» λειτουργία για να Arg
• Να επιτρέπεται με περιορισμούς για να προσθέσετε μια εξίσωση τύπου σε έναν ορισμό τύπο δεδομένων
• Να επιτρέπεται να συγχωνευθούν «before 'ετικέτες όπως και τα άλλα αυτά
• Να επιτρέπεται εξάρτηση από το αρχείο "_oasis"
• Άλλες αλλαγές:
• Αλλαγή προεπιλεγμένο μέγεθος σωρού ανηλίκου από 32K να 256k λέξεις.
• Προστέθηκε νέα λειτουργία «compare_ext» με το έθιμο μπλοκ, που ονομάζεται όταν συγκρίνεται ένα μπλοκ τιμή προσαρμοσμένη με ένα ακέραιο χωρίς συσκευασία.

Τι είναι καινούργιο στην έκδοση 3.12.0:

• Εγγραφή σχέδια της μορφής {ίΒί = Pat? _} Για να σηματοδοτήσει ότι δεν είναι όλες οι ετικέτες που αναφέρονται, σκόπιμα.
• Προειδοποιήσεις αριθμούνται πλέον και μπορεί να ενεργοποιηθεί ή να απενεργοποιηθεί ξεχωριστά. Το παλιό σύστημα με γράμματα που αφορούν σύνολα των προειδοποιήσεων υποστηρίζεται ακόμα.
• Προστέθηκε η επιλογή «-Αυστηροί-αλληλουχίας» για να αναγκάσει αριστερό τμήμα της αλληλουχίας να έχει μονάδα τύπου.
• Χάρτης:. εφαρμόσουν τις λειτουργίες της από το σύνολο που έχουν νόημα για Χάρτης
• Προσθήκη υποστήριξης για τη μητρική dynlink.
• Η σημειολογία της προειδοποίησης 7 (κωδικός «Μ», η μέθοδος παράκαμψης) έχουν αλλάξει (δεν ανιχνεύει πλέον όλες τις παρακάμψεις, όχι μόνο επαναλαμβάνονται οι ορισμοί μέσα στο ίδιο σώμα τάξη), και είναι τώρα ανενεργό από προεπιλογή.

Τι είναι καινούργιο στην έκδοση 3.11.2:

• Καλύτερη τεκμηρίωση για min και max w.r.t. NaN
• ocamlbuild χρησιμοποιεί λάθος compiler για τα αρχεία C
• ocamlbuild δεν χρησιμοποιεί σωστά πληροφορίες ρυθμίσεων
• Σε ορισμένες εγκαταστάσεις των Windows, υψηλής φορές εκκίνησης για Unix lib
• Πρόβλημα με scanf και CRLF
• ocamlmklib πρόβλημα στα Windows
• BSD πρόβλημα με διευθύνσεις υποδοχή, π.χ. σε Unix.getnameinfo
• Τεύχος με την ανάλυση των λεκτικές πλωτήρα από τον συναρμολογητή GNU
• Πρόβλημα με τις ενότητες και τους τύπους του ιδιωτικού

Απαιτήσεις :

• GNU C compiler - GCC