Examples with "langage lambda" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Le niveau du langage doit être 8 - Lambdas, type annotations etc.
The project language level should be 8 - Lambdas, type annotations etc.
Vous définissez des fonctions à courte durée écrites dans plusieurs langages et autorisez Lambda à gérer l'exécution à l'échelle.
Define short-duration functions written in a number of languages and allow Lambda to manage execution at scale.
La plupart des programmeurs associent les languages fonctionnels avec la théorie des langages, le calcul lambda, la récursivité, et les variables non mutables, autrement dit, les plus ennuyeuses conférences à l'université.
Most programmers associate functional languages with languages theory, lambda-calculus, recursivity, and non-mutable variables, ie the most boring lectures at university.
Nous arrivons ainsi à poser les bases de la POA Interactionnelle (POAI) que nous formalisons dans un langage dérivé du lambda-calcul.
Thus, we throw the basis of Interactional AOP (IAOP) that we formalize within a language wich extends lambda-calculus.
Bien que le langage considéré soit le lambda-calcul simplement typé étendu par le produit cartésien, le if-then-else, le point fixe et des constantes arithmétiques, nous pouvons généraliser notre approche aux
Even though the language considered in the paper is the simply typed lambda-calculus with cartesian product, if-then-else, fixpoint, and arithmetic constants we can generalize our approach to polymorphic languages like Miranda, Haskell, and CAML.
En incorporant pour la première fois des éléments de programmation fonctionnelle au langage (expressions lambda, streams...), Java 8 modifie profondément notre façon de concevoir et développer les applications, et impacte fortement les API existantes.
By incorporating for the first time functional programming elements into language (lambda expressions, streams...), Java 8 profoundly modifies the way we design and develop applications, and strongly impacts existing APIs.
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The principles of lambda calculus influence various programming languages today.
Le calcul des lambda est une base clé dans l'étude des langages de programmation.
Lambda calculus is a key foundation in the study of programming languages.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Finalement, nous abordons la spécification de la sémantique opérationnelle d'un langage de programmation tel que le lambda calcul avec -réduction.
Finally, we takle the specificiation of the operational semantics of a programming language such as lambda calculus with - reduction.
Étant principalement un langage orienté objet, il intègre également des fonctionnalités connues de la programmation fonctionnelle, par exemple des expressions lambda.
Being primarily an object-oriented language, it also integrates features known from functional programming, e.g. lambda expressions.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
