Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
functional programming languages
Vertaling van "functional programming languages" in Frans
langages de programmation fonctionnelle
langages de programmation fonctionnels
langages fonctionnels
In many functional programming languages, structural typing plays a major role.
Dans de nombreux langages de programmation fonctionnelle, le typage structurel joue un rôle important.
High order functions are essential in many functional programming languages.
Les fonctions d'ordre superieur sont indispensables dans de nombreux 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.
Often the sequential semantics of the skeleton is quite simple and corresponds to the usual semantics of similar higher-order functions in functional programming languages.
Souvent la sémantique des squelettes est simple et correspondant à celle de fonctions d'ordre supérieur similaire dans les langages de programmation fonctionnels.
It is inspired by object-oriented as well as functional programming languages.
Il s'inspire de la programmation orienté-objet autant que des langages 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.
The latter are important examples which usually also exist in "purely" functional programming languages.
Certaines de ces caractéristiques ne sont normalement présentes que dans les langages de programmation fonctionnelle.
The immutability is a very highly exploited concept in functional programming languages, where the values of the variables do not change when assigned.
L'immutabilité est un concept très fortement exploité dans les langages de programmation fonctionnelle, où les valeurs des variables ne changent pas une fois attribuées.
We use here a pattern quite common in functional programming languages which consists in capturing continuations with closures (cf.
On utilise ici un pattern assez commun dans les langages de programmation fonctionnelle qui consiste à capturer les continuations à l'aide de clôtures (cf.
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.
We design high-level constructs permitting to use languages based on dependent type theory as easily as modern functional programming languages, without sacrificing the powerful constructs of the former.
Nous développons des constructions de haut niveau permettant d'utiliser les langages basés sur les théories des types dépendants aussi simplement que les langages de programmation fonctionnels usuels, sans sacrifier pour autant la richesse des constructions disponibles dans les premiers.
Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus, and many are easily described in terms of it.
Pourtant, de nombreux langages de programmation fonctionnels modernes sont désormais aisément décrits en termes de lambda-calcul.
My research interests spans logic and computer science, from the study of type theory and design of dependently-typed functional programming languages to interactive and automated reasoning.
Mes recherches se situent au confluent de la logique et de l'informatique, de l'étude de la théorie des types et la conception de langages fonctionnels à types dépendants à la preuve interactive et automatique.
Synoniemen voor functional programming languages in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 40. Exact: 40. Verstreken tijd: 57 ms.
