La version la plus récente d'OCaml est la 3.12.1.
Elle a été publiée le 2011-07-04.
Quoi de neuf?
Voici une partie des nouveautés de la version 3.12:
- Les définitions récursives de fonction polymorphes sont maintenant possibles, à l'aide de déclarations de types explicites sur les définitions.
- Modules de première classe: les expressions de modules peuvent être injectées dans des valeurs du langage de base, puis manipulées comme toute autre valeur de première classe, et enfin projetées à nouveau dans les modules.
- Un nouvel opérateur de modification a posteriori de signatures:
S with type t := tau produit la signature S
où le composant de type t est supprimé et remplacé par le type tau partout ailleurs. - Nouvelles notations pour les expressions et les motifs d'enregistrements:
{ lbl } comme abréviation de { lbl = lbl }, et { ...; _ } pour marquer les motifs d'enregistrements où certains champs ont été omis intentionnellement. - Ouverture locale de modules
let open ... in .... - Des variables peuvent être liées comme paramètres de types à des fonctions. Ces types sont traités comme des types abstraits dans le corps de la fonction, et à l'extérieur comme des variables de types éventuellement généralisables.
- La construction
module type of donne accès au type d'un module donné. - La surcharge d'une méthode peut être marquée explicitement à l'aide du mot-clé
method!, ce qui produit des messages d'erreurs et des avertissements plus précis.
Pour plus d'informations, veuillez consulter la liste exhaustive des changements.
Distribution
Distribution en code source
-
Archive TAR source (.tar.gz) pour
compilation sous Unix (y compris Linux et MacOS X)
et Microsoft Windows (y compris Cygwin).
-
Également disponible au format
.tar.bz2.
- GODI
est une distribution source d'OCaml et de
nombreuses bibliothèques. La compilation et l'installation
se font de manière automatique via un puissant gestionnaire
de packages.
Le fichier INSTALL de la distribution
contient des instructions détaillées pour la compilation et
l'installation.
Binaires précompilés pour Linux
Binaires précompilés pour MacOS X
Binaires précompilés
construits en Mac OS 10.6.4 avec XCode tools
3.2.3 en mode 32 bits
(incompatible avec Mac OS 10.4.x):
Binaires précompilés pour Microsoft Windows
Quatre portages d'OCaml pour Microsoft Windows sont
actuellement disponibles.
Pour plus d'informations, veuillez
consulter la liste des questions de
portabilité ou les notes sur la version Windows.
-
Port natif Win32 basé sur les outils MinGW
(3.12.1).
Auto-installeur. La boucle interactive est fournie avec
une interface graphique simple.
Certaines fonctions exigent l'environnement
MinGW/MSYS,
Néanmoins, les compilateurs produisent de véritables
exécutables Win32, qui s'exécutent sans MinGW/MSYS.
-
Port natif Win32 basé sur les outils Microsoft
.
Pas de distribution binaire pour le moment; téléchargez
et compilez la distribution source.
-
Port basé sur
Cygwin.
Exige Cygwin. Aucune interface graphique n'est
fournie. Les compilateurs produisent des exécutables qui
exigent également Cygwin. Les binaires précompilés font
partie de la distribution Cygwin; vous pouvez les
installer à l'aide de l'outil
setup de Cygwin.
Il est également possible de télécharger la distribution source
et de la compiler vous-même sous Cygwin.
-
Port natif Win64 basé sur les outils Microsoft
Même caractéristiques que le port natif Win32 basé sur les
outils Microsoft, mais produit du code 64 bits.
Pas de distribution binaire pour le moment; téléchargez
et compilez la distribution source.
Manuel d'utilisation
Le manuel d'utilisation d'OCaml peut être:
Autres versions
De nombreuses versions précédentes sont toujours disponibles.
Vous avez également un accès en lecture seule via SVN
aux sources de travail et à toutes les versions précédemment
publiées. Voir:
Le dépôt Subversion d'OCaml