Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of functional programming languages
Vertaling van "of functional programming languages" in Frans
langages de programmation fonctionnels
des langages de programmation fonctionnelle
First, the declarative formalism of functional programming languages is well suited for specifying complex data structures and algorithms.
D'abord, le formalisme déclaratif des langages de programmation fonctionnels est adapté à la spécification de structures de données et d'algorithmes complexes.
Abstract: Elegant semantics and efficient implementations of functional programming languages can both be described by the very same mathematical structures, most prominently within the Curry-Howard correspondence, where programs, types and execution respectively coincide with proofs, formulæ and normalisation.
Résumé : Des sémantiques élégantes et des implémentations efficaces des langages de programmation fonctionnels peuvent être décrits par les mêmes structures mathématiques, notamment dans la correspondance Curry-Howard, où le programmes, les types et l'exécution, coïncident aux preuves, formules et normalisation.
It has then been used as a basis for the design of functional programming languages.
Il a ensuite servi de fondement au développement des langages de prgrammation fonctionnels.
Discussions concern all families of functional programming languages including non-strict ones (e.g.
Les messages concernent toutes les familles de langages fonctionnels, stricts (e.g.
Thanks to its formalism, it tells in details how a kind of reduction works and sets the theoretical foundation of the operational semantics of functional programming languages.
À ce titre, elle explique en détail comment se passe une certaine forme de réduction et sert de support théorique à la sémantique opérationnelle des langages de programmation fonctionnelle.
This is an unmoderated usenet newsgroup for the discussion of all aspects of functional programming languages, including their design, application, theoretical foundation, and implementation.
Il s'agit d'un groupe de discussion non modéré pour discuter de tous les aspects des langages de programmation fonctionnels, dont la conception, leur application, les bases théoriques et l'implémentation.
So if you look at the history of functional programming languages, we find that they date back to almost the beginning of programming languages in general.
Ainsi, si vous regardez l'histoire des langages de programmation fonctionnelle, nous trouver qu'ils remontent à presque le début de la programmation langues dans générales.
From 1973 to 2001, he worked at Ecole des mines and Inria, first on the syntax and semantics of functional programming languages, then on the development of the Esterel language.
De 1973 à 2001, il a travaillé à l'École des mines et à Inria, d'abord sur la syntaxe et la sémantique des langages de programmation fonctionnelle puis sur le développement du langage Esterel.
Simon Peyton Jones FRS MAE (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming.
Simon Peyton Jones (né en 1958 en Afrique du Sud) est un informaticien britannique faisant de la recherche sur la mise en œuvre et les applications des langages de programmation fonctionnelle, et particulièrement ceux à évaluation paresseuse.
Common Lisp, Scala, Haskell, Erlang and F# are some examples of functional programming languages.
Common Lisp, Scala, Haskell, Erlang et F sont quelques exemples de langages de programmation fonctionnels. Style de programmation
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 51 ms.
