Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
parametric polymorphism
Vertaling van "parametric polymorphism" in Frans
A powerful type system, equipped with parametric polymorphism and type inference.
Un système de types puissant, doté de polymorphisme paramétrique et d'inférence de types.
This is sometimes called parametric polymorphism.
C'est parfois appelé le polymorphisme paramétrique.
But most of these languages lack parametric polymorphism or present it in a limited form.
Mais la plupart de ces langages n'incluent pas le polymorphisme paramétrique ou l'incluent sous un forme très limitée.
But most of these languages lack parametric polymorphism or present it in a limited form.
Mais la plupart de ces langages n'incluent pas le polymorphisme paramétrique ou l'incluent sous une forme très limitée.
Our set-theoretic types are polymorphic, that is, they contain type variables to allow parametric polymorphism.
Dans la plupart de cette thèse, les types ensemblistes sont polymorphes, dans le sens où ils contiennent des variables de type pour permettre le polymorphisme paramétrique.
Abstract: We show, mostly through detailed examples, that object-oriented programming patterns known to involve the notion of virtual types can be implemented directly and concisely using parametric polymorphism.
Résumé: Nous montrons, principalement sur des exemples détaillés, que des schémas de programmation avec objets connus pour nécessiter la notion de types virtuels peuvent être écrits de façon directe et concise en utilisant le polymorphisme paramétrique.
We study in this thesis the techniques to extend parametric polymorphism into XML processing languages.
Nous étudions dans cette thèse les techniques pour étendre par le polymorphisme paramétrique les langages de traitement XML.
Intersection and union types are a way to express ad hoc polymorphism and are an alternative to the parametric polymorphism of Girard.
Les types intersections et unions sont un moyen d'exprimer du polymorphisme ad hoc et sont une alternative au polymorphisme paramétrique de Girard.
While parametric polymorphism is needed by XML processing, and it has repeatedly been requested to and discussed in various working groups of standards (e.g., RELAX NG and XQuery).
Cependant, le traitement de données XML nécessite du polymorphisme paramétrique, c'est pourquoi il a été demandé et discuté à plusieurs reprises dans diverses groupes de travail de standardisation (par example, RELAX-NG et XQuery).
While parametric polymorphism is needed by XML processing, and it has repeatedly been requested to and discussed in various working groups of standards (e. G., RELAX NG and XQuery).
Cependant, le traitement de données XML nécessite du polymorphisme paramétrique, c'est pourquoi il a été demandé et discuté à plusieurs reprises dans divers groupes de travail de standardisation (par exemple, RELAX-NG et XQuery).
Being a statically typed functional language with parametric polymorphism, Objective Caml has features that are quite challenging to the.NET runtime and its type system.
En tant que langage fonctionnel statiquement typé avec polymorphisme paramétrique, Objective Caml présente des caractéristiques qui défient l'environnement d'exécution.NET et son système de types.
Parametric polymorphism is possible with classes, ADTs and function types, giving the language support for generic programming based on type erasure.
Le polymorphisme paramétrée est possible pour les classes, les fonctions et les types algébriques, permettant ainsi la programmation générique.
Description: Fundamental Concepts in Programming Languages introduced much programming language terminology still in use today, including R-values, L-values, parametric polymorphism, and ad hoc polymorphism.
Description: Concepts fondamentaux dans les langages de programmation a introduit la terminologie du langage de programmation encore en usage aujourd'hui.
Synoniemen voor parametric polymorphism in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 14. Exact: 14. Verstreken tijd: 34 ms.
