Taille du fichier : 2.36 Mo
Dernière mise à jour : 25-10-2008 00:00
Téléchargements : 2 530
Copyright de la formation
Auteur : © INRIA
Page d'Accueil :
|
Caml est un langage de programmation généraliste, conçu pour garantir la sûreté et la fiabilité des programmes. Il est très expressif et néanmoins facile d'apprentissage et d'emploi. Caml se prête à la programmation dans un style fonctionnel, impératif ou orienté objets.
Le langage Caml a initialement été utilisé pour développer des applications réalisant des calculs symboliques: prouveurs de théorèmes, compilateurs et interprètes, analyseurs de programmes, etc. Il est maintenant utilisé pour réaliser toutes sortes de logiciels dans de nombreux domaines d'application.
Le langage Caml est largement utilisé pour l'enseignement de la programmation. Il est également utilisé dans de nombreux projets universitaires en Europe, en Asie et en Amérique. Plusieurs grosses entreprises développent des applications industrielles significatives en Caml, par exemple Dassault, France Télécom, Microsoft, IBM et le CEA (Commissariat à l'Énergie Atomique).
|
