-

Résultats 1 - 10 sur un total 52 pour  Wikipedia / caml / Wikipedia    (1342228 articles)

Caml Imprimer cet article

Le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l' INRIA et notamment pendant cinq ans par le professeur Guy Cousineau [ 1 ] ( Université Paris Diderot ). Il existe deux implémentations de Caml  : OCaml est l'implémentation la plus avancée, Caml Light

wikipedia.org | 2012/12/20 1:23:36

Caml Light Imprimer cet article

naturels, la fonction factorielle est définie par : et sa définition récursive est : En Caml -light cela donne : let rec fact = function | 0 - 1 | n - n * fact ( n - 1 ) ;; [ modifier ] Algorithme d'Euclide L' algorithme d'Euclide , pour calculer le pgcd de

wikipedia.org | 2012/12/20 1:24:03

OCaml Imprimer cet article

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

wikipedia.org | 2013/4/18 18:50:52

Programmation orientée aspect Imprimer cet article

La programmation orientée aspect (POA, en anglais aspect-oriented programming ou AOP) est un paradigme de programmation qui permet de traiter séparément les préoccupations transverses (en anglais, cross-cutting concerns ), qui relèvent souvent de la technique ( aspect en anglais

wikipedia.org | 2012/12/14 13:42:12

Inria Imprimer cet article

Son ambition est de mettre en réseau les compétences et talents de l'ensemble du dispositif de recherche français et international , dans ses domaines de compétence. Sommaire 1 Historique 2 Centres de recherche 3 Participation à l'espace européen de la recherche 4 Directeurs

wikipedia.org | 2012/12/13 20:11:43

Ramasse-miettes (informatique) Imprimer cet article

Un ramasse-miettes , ou récupérateur de mémoire , ou glaneur de cellules (en anglais garbage collector , abrégé en GC) est un sous-système informatique de gestion automatique de la mémoire . Il est responsable du recyclage de la mémoire préalablement allouée puis inutilisée.

wikipedia.org | 2013/3/13 7:08:52

Haskell Imprimer cet article

La sortie de Miranda en 1985 provoqua un regain d'intérêt pour les langages fonctionnels à évaluation paresseuse et entraîna une explosion du nombre de tels langages expérimentaux, de sorte qu'en 1987 plus d'une douzaine d'entre eux étaient disponibles. Miranda était de loin le plus

wikipedia.org | 2013/4/18 18:50:35

Généricité Imprimer cet article

Java depuis la version 1.5 ou encore Eiffel , supportent la programmation générique. Objective Caml permet également une programmation générique assez subtile et très puissante grâce au système de modules paramétrés qu'il propose. VB.NET et C# la supporte depuis la version 2

wikipedia.org | 2013/2/11 8:02:49

F Sharp Imprimer cet article

C'est un langage qui a été conçu spécifiquement pour la plate-forme .NET et est donc fortement orienté-objet. Depuis novembre 2010, Microsoft a mis à la disposition de tous les bibliothèques core et son compilateur F♯, sous la licence Apache 2 [ 1 ] . Sommaire 1 Présentation

wikipedia.org | 2013/4/10 11:57:01

Variable (informatique) Imprimer cet article

En informatique , les variables associent un nom (le symbole ) à une valeur ou un objet, elles font partie des identificateurs de l' algorithmique , et doivent donc par conséquent avoir des noms différents des mots-réservés [ 1 ] propre à chaque langage de programmation . Il est notable

wikipedia.org | 2013/3/1 7:39:26