-

Résultats 1 - 10 sur un total 45 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 | 2015/7/14 20:59:28

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

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

Python (langage) Imprimer cet article

Guido_van_Rossum_OSCON_2006

Le langage Python est placé sous une licence libre proche de la licence BSD [ 2 ] et fonctionne sur la plupart des plates-formes informatiques, des supercalculateurs aux ordinateurs centraux , de Windows à Unix en passant par GNU / Linux , Mac OS , ou encore Android , iOS , et aussi

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

Algorithme récursif Imprimer cet article

Droste

Un algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème [ 1 ] . L'approche récursive est un des concepts de base en informatique . Les premiers langages de programmation qui ont autorisé l'emploi de la

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

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