OCaml
Langage de programmation fonctionnel / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Objective Caml?
Résumez cet article pour un enfant de 10 ans
Ne doit pas être confondu avec Occam (langage).
OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon, Damien Doligez (en), Didier Rémy et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria.
OCaml | ||
Date de première version | 1987 (CAML), 1996 (OCaml) | |
---|---|---|
Paradigme | Multiparadigme : impérative, fonctionnelle, orientée objet | |
Développeur | Inria | |
Dernière version | 5.1.1 ()[1] | |
Typage | Fort, statique | |
Dialectes | JoCaml, Fresh OCaml, GCaml, MetaOCaml, OCamlDuce, OcamlP3L | |
Influencé par | ML | |
A influencé | F#, Rust, OPA, Scala | |
Écrit en | OCaml et C | |
Système d'exploitation | Multiplate-forme | |
Licence | LGPL 2.1 | |
Site web | ocaml.org | |
Extension de fichier | ml et mli | |
modifier |
OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml.
Portable et performant, OCaml 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[2]. Les facilités de traitement symbolique du langage permettent le développement d'outils de vérification statique, comme le projet SLAM[3] pour des pilotes Windows écrits par Microsoft, ou ASTRÉE pour certains systèmes embarqués des Airbus A380.