OCaml

Il est une implémentation du langage ML, basé sur le dialecte Caml Light étendu avec un système d'objet complet basé sur la classe et un puissant système de modules dans le style de Standard ML.
Objective Caml comporte deux compilateurs. Un génère bytecode qui est ensuite interprété par un programme C.
Ce compilateur court vite, est portable sur essentiellement tout 32 ou 64 bits plate-forme Unix et génère du code compact avec les exigences de mémoire modérés.
Performance des programmes générés est assez bonne pour une mise en œuvre bytecoded.
Ce compilateur peut être utilisé soit comme un autonome, orientée compilateur lots qui produit des programmes autonomes, ou comme un système interactif, toplevel-base.
L'autre compilateur génère haute performance code natif pour un certain nombre
de processeurs.
Compilation prend plus de temps et génère plus de code, mais les programmes générés offrir d'excellentes performances, tout en conservant les exigences de mémoire modérés du compilateur bytecode.
Objective Caml est la variante la plus populaire du langage Caml.
Du point de vue de la langue, il étend le noyau du langage Caml avec une couche orientée objet à part entière, ainsi que d'un puissant système de modules, tous reliés par un son, système de type polymorphe avec inférence de type.
Le système Objective Caml est une mise en œuvre industrielle-force de cette langue, avec un code natif compilateur haute performance (ocamlopt) pour 9 architectures de processeur (IA32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, APPS, StrongArm), ainsi qu'un compilateur bytecode (de ocamlc) et une boucle interactive lecture-évaluation-impression (ocaml) pour le développement rapide et la portabilité.
 La distribution Objective Caml comprend une bibliothèque standard, un débogueur de relecture (de ocamldebug), lexer (ocamllex) et analyseur (ocamlyacc) générateurs, un pré-processeur pretty-printer (camlp4) et un générateur de documentation (ocamldoc).

Ce qui est nouveau dans cette version:

• Mise à jour de Tcl / Tk 8.6.
• Rejeter multiples déclarations de la même méthode ou une variable d'instance dans un objet.
• propager les informations de type vers pattern-matching, même en présence des variantes polymorphes.

Ce qui est nouveau dans la version 4.02.1:

• Mise à jour de Tcl / Tk 8.6.
• Rejeter multiples déclarations de la même méthode ou une variable d'instance dans un objet.
• propager les informations de type vers pattern-matching, même en présence des variantes polymorphes.

Ce qui est nouveau dans la version 3.12.1:

• bourgeons fixe:
• les variables inutilisées pas détectés dans "comprennent (struct .. fin)"
• camlp4 révisé bug d'impression de syntaxe dans le premier niveau (rapport sur Caml-list)
• configure: ne définissent pas _WIN32 sous Cygwin
• trempé comparaison générique dans le cas où deux blocs personnalisés sont comparées et ont différents ensembles d'opérations personnalisées.
• trempé comparaison entre bigarrays dans le cas où les deux bigarrays ont différents types.
• autodetection mauvais fixe de expm1 () et log1p ().
• Ne pas ajouter le suffixe .exe lors de l'installation du script shell ocamlmktop
• ocamldoc: corrections mineures liées à l'affichage des options de OCamldoc
• Correction d'un bug avec des valeurs énormes dans OCAMLRUNPARAM
• Incompatibilité entre la déclaration et la définition des caml_major_collection_slice
• souhaits de fonction:
• Ajout de '-ml-synonyme »et« -mli-synonyme «options pour ocamldep
• Ajout de '-ocamldoc' option pour ocamlbuild
• Ajout de la possibilité d'ajouter des options à ocamlbuild
• Ajout de l'accès à des analyseurs et des imprimantes camlp4 actuels
• sélection d'instruction améliorée pour les opérations de flotter sur amd64
• Ajout d'une fonction 'usage_string' Arg
• Permettre aux contraintes d'ajouter une équation de type à une définition de type de données
• Laissez de fusionner 'Before' autres balises comme ceux
• Laissez la dépendance sur le fichier "_oasis"
• Autres changements:
• mineure taille de segment par défaut Changement de 32k à 256k mots.
• nouvelle opération ajoutée »compare_ext 'à blocs personnalisés, appelés lorsque l'on compare une valeur de bloc personnalisé avec un nombre entier unboxed.

Ce qui est nouveau dans la version 3.12.0:

• les modes de rendu de la forme {lbl = pat; _} Pour marquer que toutes les étiquettes sont répertoriés, délibérément.
• Les avertissements sont maintenant numérotée et peut être activée et désactivée individuellement. L'ancien système avec des lettres faisant référence à des ensembles d'avertissements est toujours pris en charge.
• Ajout d'une option "-strict-séquence» pour forcer partie gauche de la séquence d'avoir l'unité de type.
• Carte:. implémenter les fonctions de Set qui font sens pour Carte
• Ajout du support pour Dynlink natif.
• La sémantique de avertissement 7 (Code «M», la méthode override) ont changé (il détecte désormais tous les remplacements, et pas seulement des définitions répétées à l'intérieur du même corps de la classe), et il est maintenant désactivé par défaut.

Ce qui est nouveau dans la version 3.11.2:

• Une meilleure documentation pour les min et max w.r.t. NaN
• ocamlbuild utilise mal compilateur pour les fichiers C
• ocamlbuild ne pas utiliser correctement les informations de configuration
• Dans certaines installations de Windows, des grandes heures de démarrage pour Unix lib
• un problème scanf et CRLF
• problème de ocamlmklib sous Windows
• BSD problème avec adresses de socket, par exemple dans Unix.getnameinfo
• Problème avec l'analyse de littéraux de flotteur par l'assembleur GNU
• problème avec des modules et des types particuliers

Exigences :

• compilateur GNU C - gcc