Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
polymorphic type
Vertaling van "polymorphic type" in Frans
type de polymorphe
Maylandi callainos is a polymorphic type, which occurs in three color morphs.
Maylandi callainos est un type polymorphe, qui se produit dans trois formes de couleur.
Thus, when more than one argument position is declared with a polymorphic type, the net effect is that only certain combinations of actual argument types are allowed.
Ainsi, quand plusieurs occurrences d'argument sont déclarées avec un type polymorphe, seules certaines combinaisons de types réels d'argument sont autorisées.
When the return value of a function is declared as a polymorphic type, there must be at least one argument position that is also polymorphic, and the actual data type supplied as the argument determines the actual result type for that call.
Quand la valeur renvoyée par une fonction est déclarée de type polymorphe, il doit exister au moins une occurrence d'argument également polymorphe, et le type réel de donnée passé comme argument détermine le type réel de résultat renvoyé lors de cet appel à la fonction.
When the return type of a PL/pgSQL function is declared as a polymorphic type (anyelement, anyarray, anynonarray, anyenum, or anyrange), a special parameter $0 is created.
Lorsque le type de retour d'une fonction PL/pgSQL est déclaré comme type polymorphe (anyelement, anyarray, anynonarray et anyenum), un paramètre spécial $0 est créé.
MECHANISM FOR DYNAMICALLY RESOLVING POLYMORPHIC TYPE DEPENDENCIES BETWEEN PARALLEL HETEROGENOUS RUN-TIME ENVIRONMENTS
MÉCANISME POUR RÉSOUDRE DE MANIÈRE DYNAMIQUE DES DÉPENDANCES DE TYPE POLYMORPHE ENTRE DES ENVIRONNEMENTS D'EXÉCUTION HÉTÉROGÈNES PARALLÈLES
However the whole calculus was proved confluent, and it enjoys the separation property (a version of Böhm's lemma).In this thesis we propose a polymorphic type system for this calculus, and we develop a realisability model, based on Girard's reducibility candidates.
Cette thèse propose un système de types du polymorphique pour ce calcul, et décrit ensuite un modèle de réalisabilité, qui adapte les candidats de réductibilité de Girard au lambda calcul avec constructeurs.
At DANNALAB we use XRPD to identify the polymorphic type, quantity and crystalline state of API in pure form as well as within formulations or dosage forms.
Chez DANNALAB nous utilisons XRPD pour identifier le type de polymorphe, la quantité et l'état cristallin des principes actifs aussi bien dans un échantillon pur qu'en composition ou sous forme posologique.
At DANNALAB we use XRPD (XRD) to identify the polymorphic type and crystallinity of an active pharmaceutical ingridient (API) in its pure form, as well as in formulation or dosage forms.
Chez DANNALAB nous utilisons XRPD pour identifier le type de polymorphe, la quantité et l'état cristallin des principes actifs aussi bien dans un échantillon pur qu'en composition ou sous forme posologique.
The FireCrypt ransomware is a polymorphic type of virus which features basic stealth protection.
Le ransomware de Firecrypt est un type de virus polymorphes qui offre une protection furtive de base.
ML built a polymorphic type system (invented by Robin Milner in 1973) on top of Lisp, pioneering statically typed functional programming languages.
ML (Meta Language) inventé par Robin Milner en 1973, construit sur un typage statique fort et polymorphe au-dessus de Lisp, pionnier du langage de programmation généraliste fonctionnel.
ML built a polymorphic type system (invented by Robin Milner in 1973) on top of Lisp, pioneering statically typed functional programming languages.
ML (Meta Language) inventé par Robin Milner en 1973, construit sur un typage statique fort et polymorphe au-dessus de Lisp, pionnier du langage de programmation généraliste fonctionnel.
The polymorphic type discipline, as in the ML language, fits well within purely applicative languages, but does not extend naturally to the main feature of algorithmic languages: in-place update of data structures.
Mais il ne s'étend pas naturellement au trait principal des langages algorithmiques: la modification en place des structures de données.
Abstract: The polymorphic type discipline, as in the ML language, fits well within purely applicative languages, but does not extend naturally to the main feature of algorithmic languages: in-place update of data structures.
Résumé : Le typage statique avec types polymorphes, comme dans le langage ML, s'adapte parfaitement aux langages purement applicatifs, leur apportant souplesse et expressivité.
Synoniemen voor polymorphic type in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 13. Exact: 13. Verstreken tijd: 31 ms.
