-

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

Caml Imprimer cet article

Le style fonctionnel rapproche le langage Caml de l’écriture mathématique, notamment grâce à la récursivité et au filtrage par motif ( pattern matching ). Ce dernier, particularité de la famille ML, offre une syntaxe au cas par cas claire et lisible, et est aussi utilisé dans le

wikipedia.org | 2016/1/7 22:40:56

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

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 | 2015/10/22 10:05:01

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

Python (langage) Imprimer cet article

Guido_van_Rossum_OSCON_2006

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

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

Réécriture (informatique) Imprimer cet article

Lafont1

La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes , preuves , graphes , …) en appliquant des règles bien

Swift (langage d'Apple) Imprimer cet article

sources dans de nombreux langages de programmation tels que Objective-C, Haskell, Ruby, Python, Caml ou C#. La première version publique 1.0 a été publiée le 2 juin 2014 à la WWDC 2014. The Swift Programming Language , est un manuel de 500 pages disponibles sur iBookStore permettant

wikipedia.org | 2015/12/11 10:29:06

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