révélateur: INRIA (cm. d'autres programmes)
version: 0.74
site Web: Caml Light
licence: gratuit




vue d'ensemble Caml Light (traduction automatique)

Caml est un langage de programmation, conçu avec le programme de sécurité et de fiabilité à l'esprit. Il est très expressif, pourtant facile à apprendre et à utiliser. Caml prend en charge fonctionnel, impératif, et la programmation orientée objet styles. Il a été développé et distribué par INRIA, un institut français de recherche en informatique et mathématiques appliquées, depuis 1985.
Les deux implémentations de Caml offre :
- un puissant système de type équipé d'un polymorphisme paramétrique et inférence de type. Par exemple, le type d'une collection peut être paramétré par le type de ses éléments. Cela permet de définir certaines opérations sur une collection indépendamment du type de ses éléments : tri d'un tableau est un exemple. En outre, l'inférence de type permet de définir ces opérations sans avoir à fournir explicitement le type de leurs paramètres et de résultat.
- Définissables par l'utilisateur données algébriques types et correspondance de motif. Algébrique nouveaux types de données peuvent être définis comme des combinaisons d'enregistrements et les sommes. Les fonctions qui opèrent sur des structures de données peut alors être définie par pattern matching, une forme généralisée de la bien connue instruction switch, qui offre un propre et élégante façon d'examiner simultanément et données de dénomination.
- Gestion automatique de la mémoire, grâce à une action rapide, discret, incremental garbage collector.
- Compilation distincte des applications autonomes. Bytecode Portable compilateurs permettent la création des applications autonomes de Caml Light ou objectif Caml programmes. Une fonction étrangères interface permet Caml code pour interopérer avec code C lorsque nécessaire. Utilisation interactive de Caml est également pris en charge via une "lecture-évaluation-impression " de la boucle.
De plus, objectif Caml caractéristiques: -
un module sophistiqué système, qui permet d'organiser hiérarchiquement modules et paramétrage un module sur un certain nombre d'autres modules.
- Un objet expressif couche orientée, proposant plusieurs héritages et classes paramétriques.
- Efficace code natif compilateurs. En plus de son compilateur bytecode, objectif Caml offre un compilateur qui produit code machine efficace pour beaucoup d'architectures.




Renouveler Software vous recommande d'utiliser Caml Light en conformité avec les règles de la propriété intellectuelle. Renouveler Software ne recommande pas l'utilisation de crack, serial, clé, keygen, crack, serial pour Caml Light



Les catégories de programmes les plus populaires Développement Web / Autre
Quest Software Toad for MySQL Freeware Quest Software Toad for MySQL Freeware
gratuit
Oracle Client Express Edition Oracle Client Express Edition
gratuit
Microsoft Office FrontPage Microsoft Office FrontPage
payé
Microsoft Expression Web Microsoft Expression Web
payé
MySQL Tools for MySQL Tools for
gratuit
Artisteer Artisteer
payé
IronPython IronPython
gratuit

programme Autres sociétés INRIA
Objective Caml Objective Caml
gratuit
ScicosLab ScicosLab
Open source
FFTW Library for scilab-5.0.3 FFTW Library for scilab-5.0.3
Natron Natron
Open source
FracLab FracLab
ParadisEO ParadisEO