La version finale de OCaml 4.08 a récemment fait son apparition sur le site de son éditeur. Elle a été publiée le 14 juin dernier, 11 mois après la publication de la version 4.07 qu’elle remplace.OCaml (anciennement connu sous le nom d’Objective Caml) est un langage de programmation de puissance industrielle de la famille des langages ML et la principale variante du langage Caml. Il est issu d’un projet open source dirigé et maintenu essentiellement par l’INRIA qui étend les possibilités de Caml en permettant la programmation orientée objet et la programmation modulaire. OCaml possède la plupart des caractéristiques communes des langages fonctionnels, en particulier des fonctions d’ordre supérieur et fermetures, et un bon support de la récursion terminale. Il entre aussi dans la catégorie des langages multi-paradigme.
OCaml constitue un langage de choix dans les domaines demandant la manipulation de structures de données complexes. Le typage fort et l’absence de manipulation explicite de la mémoire (présence d’un ramasse-miettes) font d’OCaml un langage sûr. Il est aussi réputé pour ses performances, grâce à la présence d’un compilateur de code natif. Il est utilisé dans des projets aussi divers que le logiciel de synchronisation de fichiers Unison, l’assistant de preuves formelles Coq ou la version Web de Facebook Messenger.
Le système OCaml est une implémentation de ce langage comprenant un compilateur produisant du code natif de haute performance pour 9 architectures de microprocesseurs (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPAA, StrongArm), un compilateur code-octet et une boucle d’interaction pour la rapidilité du développement et la portabilité. C’est un logiciel libre dont le compilateur est distribué sous les termes de la Q Public License et la librairie sous ceux de la LGPL. La distribution d’OCaml offre également une bibliothèque standard, un débogueur, des générateurs d’analyseurs lexicaux et syntaxiques, un pre-processeur pretty-printer et un générateur de documentation.
Parmi les nouveautés à découvrir dans la version 4.08 de OCaml, on peut citer (liste non exhaustive) :
- l’amélioration de plusieurs messages d’erreur ;;
- la prise en charge partielle des GADT à l’intérieur de or-patterns ;;
- la simplification de la vérification statique des définitions récursives ;;
- la redéfinition de la notion « ;d’alertes ;» qui généralise l’avertissement obsolète ;;
- l’amélioration de l’instrumentation AFL pour certains objets et certaines valeurs ;;
- l’usage des opérateurs de liaison tels que « ;let*, let+, and* ;» pour rationaliser le code ;;
- la mise en surbrillance des sources pour les erreurs et les avertissements en mode batch ;;
- l’ajout de nouveaux modules dans la bibliothèque standard : Fun, Bool, Int, Option, Result ;
- l’ajout de nouvelles fonctionnalités au module Float introduit dans la version 4.07, y compris le support de FMA, et d’un nouveau sous-module Float.Array.
Il y a plusieurs moyens d’installer OCaml : via son gestionnaire de paquet officiel OPAM, via le gestionnaire de paquet de votre plateforme [FreeBSD, Linux, macOS, OpenBSD, Windows] ou depuis les sources. La plupart des distributions Linux permettent d’installer OCaml et/ou OPAM avec le gestionnaire de paquet système, que ce soit sur Debian, Ubuntu, Fedora, CentOS, SuSE, Arch, etc.
Source : OCaml
Et vous ?
Qu’en pensez-vous ?Voir aussi
Quel langage de programmation comporte le plus de vulnérabilités en matière de sécurité ? Une étude de WhiteSource Le langage Go continue sa progression avec de nombreux développeurs qui l'utilisent dans les projets professionnels et personnels, selon un sondage Le langage de programmation V sera disponible en open source à partir de juin 2019 et serait rapide, léger et capable de traduire vos projets C/C++ Python est sacré langage de programmation de l'année 2018 par l'index TIOBE, deviendra-t-il le langage le plus utilisé des programmeurs ? 
