curryfication oor Engels

curryfication

naamwoord vroulike

Vertalings in die woordeboek Frans - Engels

currying

naamwoord

computing technique

voorbeelde

Donc cela signifie que nous avons substitue une definition correcte, ou apparemment correct pour product. Vous avez vu la curryfication comme moyen de definir des fonctions par morceaux, une section de parametre apres l'autre.
So that means that we have substituted a correct definition, or seemingly correct definition, for product. You've seen currying as a way to define functions piecewise, one parameter section after the other.

La definition ici serait equivalente a la definition que vous voyez ici, ou la derniere liste de parametres est la liste de parametres d'une fonction anonyme qui mappe vers E. Maintenant, si vous repetez que ce processus n fois, alors notre liste originale de n parametres est mappee a une fonction qui n'a aucune liste de parametre, mais sur la partie droite nous avons n fonctions imbriquees. Ce style de definition en application de fonction ou essentiellement chaque fonction est mappee a une expression qui se compose de fonctions anonymes, de fonctions anonymes imbriquees, qui prennent chacune un parametre, est appele curryfication. Il est nomme d'apres son promoteur, Haskell
So the, the, the definition up here would also be equivalent to the definition that you see down here, where the last parameter list is, the parameter list of anonymous function that maps to E. Now, if you repeat that process n times, then our original n parameter list function is mapped to a function that has no parameter list at all, but on the right hand side we have n nested anonymous functions. This style of definition in function application where essentially every function is mapped to an expression that consists of anonymous functions, nested anonymous functions, that each take one parameter, is called currying. It's named after its promoter, Haskell

Parmi les caractéristiques du langage figurent l'inférence de types, les générateurs, les multiméthodes, le duck typing optionnel, les macro-définitions, les vraies fermetures, la curryfication et les fonctions de première classe.
Some features of note include type inference, generators, multimethods, optional duck typing, macros, true closures, currying, and first-class functions.

Les fonctions à plusieurs paramètres peuvent être représentées grâce à la technique de la curryfication.
Multi-parameter functions can be represented via the method of currying.

Donc le theme de cette seance est la curryfication, et je ne parle pas le la nouriture.
So the topic of this session is currying, and I do not mean the food with that.

C'est une ville relativement prospère, avec le tannage des peaux et curryfication, RFM.
It is a fairly prosperous town, with tanning and currying, mfrs.

À titre d'hommage, trois langages de programmation portent son nom - Haskell, Brook (en) et Curry (en) - de même que l'opération de curryfication. Sommaire 1 Biographie
There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.

Les fonctions à plusieurs paramètres peuvent être représentées grâce à la technique de la curryfication.
Multi-parameter functions can be represented with the technique of currying.

Il supporte la curryfication, la récursion terminale, l'évaluation paresseuse, et les modes de liaison dynamique (emacs lisp) et statique (scheme, clisp).
It features curryfication, tail-recursivity, lazy evaluation, static (scheme, clisp) and dynamic (emacs lisp) binding.

Cette échelle de performance a été rendue possible par l'usage de nouvelles structures de données et par la curyfication des fonctions d'évaluation des modèles de composants.
This level of performance has been reached through the usage of new simulatable data structures and currying of device evaluation functions.