Résultats de la recherche

{{Infobox Langage de programmation}} ...ibliothèques logicielles]], les [[plugins]] audio ou les [[logiciels]]. Ce langage est développé par le [[Centre national de création musicale|GRAME]] depuis ...

En théorie des [[Langage fonctionnel|langages fonctionnels]] typés, une '''monade''' est un [[patron de concepti ...xistant dans un objet portant plus d'information. Par exemple en [[Haskell|langage Haskell]], une monade de type <math>Maybe(t)</math> est ou bien un objet de ...

...e de programmation]] particulier décrit comment chaque programme valide du langage doit être interprété en termes de suite d'états successifs dans la machine. Dans le cas d'un programme fonctionnel, l'état final d'une suite qui termine donne la valeur de retour du programm ...

..., sous la forme de ''struct'' ([[C (langage)|C]]) ou ''record'' ([[Pascal (langage)|Pascal]]). ...

* Le langage de programmation [[Forth (langage)|Forth]] * Le langage de programmation [[RPL]] (Hewlett Packard) ...

...[[langage rationnel|langages rationnels]] en langages rationnels, et les [[langage algébrique|langages algébriques]] en langages algébriques. ...tout <math>w \in {\Sigma_{1}}^{*}</math>, alors le transducteur T est dit fonctionnel. ...

...ages de script]] tels que [[Python (langage)|Python]], [[Ruby]] ou [[Perl (langage)|Perl]] ou par des outils plus spécialisés tel que [[BEDTools]]. ...par des mots ou symboles différents<ref name="BEDtools"/>, selon son rôle fonctionnel ou simplement descriptif. Ainsi, une ligne d'entête peut être introduite pa ...

...çu en 1973 par l'informaticien français [[Jacques Arsac]] qui a baptisé ce langage à partir du mot « excellent ». ...l sera ensuite implémenté qui, au demeurant, peut être EXEL lui-même... Le langage EXEL permet de préciser aussi bien les caractéristiques des données (matric ...

...pour construire des interpréteurs [[Traitement automatique des langues|de langage naturel]]. Graham Hutton a également utilisé des fonctions d'ordre supérieu Dans tout langage de programmation doté de fonctions de première classe, les combinateurs d'a ...

...ns s'adressent à des surfaces et non à des lignes. Pour indiquer un aspect fonctionnel angulaire entre deux éléments d'une même pièce, on utilisera de préférence * Bernard Anselmetti, ''Langage des normes ISO de cotation Vol 1'', Paris, Éditions Hermes Lavoisier, 2003, ...

...connaissent les mêmes [[Langage formel|langages formels]], à savoir les [[langage rationnel|langages réguliers]]. ...''{{math|A}}'', un automate ''{{math|A'}}'' reconnaissant le complément du langage accepté par ''{{math|A}}'' se construit en temps linéaire si ''{{math|A}}'' ...

Le langage [[OCaml]] fournit trois sortes de tableaux associatifs dans sa [[bibliothèq ...e données persistante|structures de données persistantes]], car [[purement fonctionnel]]les. Les tables de hachage sont au contraire des structures de données [[p ...

...]], on peut manipuler les continuations explicitement en tant qu'objets du langage à part entière. On peut stocker la continuation courante dans une [[Variabl En [[C (langage)|C]], l'instruction <code>setjmp</code> permet de capturer une continuation ...

...tion des graphes qui propose un passage du langage « nœuds et liens » à un langage utilisant des cliques, des bi-cliques et des étoiles comme primitives. ...r, les deux espaces (domaines temporel et fréquentiel) sont le même espace fonctionnel - mais ''stricto sensu'', les graphes de puissance ne sont pas des graphes. ...

...théorique]], '''Programming Computable Functions''' ou '''PCF''' est un [[langage de programmation]] théorique apparu pour la première fois en 1977 dans un a ...lcul]], donnant le lambda-calcul simplement typé, limite l'expressivité du langage et les fonctions qui y sont définissables ; l'ajout de combinateurs de poin ...

...s [[Syntaxe|syntaxiques]] strictes et sans ambigüité. À l'inverse, dans le langage naturel, des mots ou des phrases peuvent avoir plusieurs sens selon l'[[Int ...la parole (RAP). Dans le formalisme RAP (''ASR'' en anglais), le découpage fonctionnel est le suivant : ...

...'I''', est défini par<ref>''x'' qui apparaît ici n'est pas une variable du langage de la logique combinatoire, car comme on l'a dit la logique variable se pas ...e '''I''' a le type α → α. Ici la flèche → désigne le constructeur de type fonctionnel, en gros α → α est le type de la classe des fonctions de α vers α, → a cons ...

...nséquent, les langages formels reconnus par les 2DFA sont exactement les [[langage rationnel|langages rationnels]]. En revanche, un automate fini déterministe ...thumb|upright=2|Automate non déterministe à ''n''+1 états reconnaissant le langage <math>A^*aA^{n-1}</math>.]] ...

...] pour indiquer la position relative d'un groupe par rapport à un [[groupe fonctionnel]]. * [[Alpha (langage)|Alpha]] est un langage de programmation pour le [[calcul parallèle]]. ...

*Dans certains [[langage de programmation|langages de programmation]], la notation a = b signifie qu ...]]'', car nous ne pouvons pas quantifier des expressions comme F (prédicat fonctionnel) ...