Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
algebraic data types
Geflecteerde vorm van algebraic data type
Vertaling van "algebraic data types" in Frans
types de données algébriques
les types algébriques de données
types algébrique de données
User-definable algebraic data types and pattern matching.
Des types de données algébriques définissables par l'utilisateur et le filtrage.
New algebraic data types can be defined as combinations of records and sums.
De nouveaux types de données algébriques peuvent être définis comme combinaisons d'enregistrements et de sommes.
The type system is built on algebraic data types so, in that sense, it can be considered a functional language.
Le système de types est construit sur des types de données algébriques, et peut en ce sens être considéré comme un langage fonctionnel.
These notions supply an unified point of view on data structures, an extension of case based function definition and an alternative framework for the notion of polytypism, without being limited to algebraic data types.
Ces notions apportent un point de vue unifié sur les structures de données, une extension de la définition des fonction par cas et un cadre alternatif à la notion de polytypisme, sans se limiter aux types de données algébriques.
Using tuples instead of making your own algebraic data types is good for some small localized stuff, but it's usually better to make a new type for things like this.
Utiliser des tuples plutôt que vos propres types de données algébriques est bien pour des choses petites et localisées, mais il est généralement mieux de définir des nouveaux types pour des choses comme ici.
The strong type system, algebraic data types, automatic garbage collection, and good run-time system are the main reasons we like OCaml.
Le système de types fort, les types de données algébriques, la récupération automatique de la mémoire et l'environnement d'exécution sont les principales raisons de notre intérêt pour OCaml.
Together with Alessandro Berarducci, he demonstrated an isomorphism between the strictly-positive algebraic data types and the polymorphic lambda-terms, otherwise known as Böhm-Berarducci encoding.
Avec Alessandro Berarducci, Böhm établit un isomorphisme entre les types de données algébriques strictement positives et les lambda-termes polymorphes, connu depuis comme le codage de Böhm-Berarducci.
Guy Cousineau also added algebraic data types and pattern-matching, following ideas from Robin Milner, which he in turn had borrowed from Hope, a programming language designed by Rod Burstall and Dave McQueen.
Guy Cousineau ajouta également les types de données algébriques et le filtrage, d'après des idées de Milner, que lui-même avait empruntées à Hope, un langage de programmation conçu par Rod Burstall et Dave McQueen.
Operations on algebraic data types can be defined by using pattern matching to retrieve the arguments.
Les opérations sur les types algébriques de données peuvent être définies par le filtrage par motif pour retrouver les arguments.
Based on algebraic data types, it permits abstract reasoning and the implementation in several object oriented programming languages.
Basé sur les types abstraits algébriques, il permet le raisonnement abstrait et ma mise en oeuvre dans différents langages de programmation à objets.
Correction and completeness of the algorithm are studied in presence of algebraic data types, mutable data, cycles and functional values.
Les propriétés de correction et de complétude de l'algorithme obtenu sont étudiées en présence de types algébriques, de données modifiables, de cycles et de valeurs fonctionnelles.
Generalized algebraic data types.
Ou les types algébriques de données généralisés.
In functional programming, catamorphisms provide generalizations of folds of lists to arbitrary algebraic data types, which can be described as initial algebras.
En programmation fonctionnelle, un catamorphisme est une généralisation de la fonction fold sur les listes au cadre de types algébriques de données quelconques pouvant être décrit comme des algèbres initiales.
Synoniemen voor algebraic data types in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 16. Verstreken tijd: 32 ms.
