Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
type inference
Definitie
Vertaling van "type inference" in Frans
Definitie NEW
But techniques are available as type inference to handle this problem.
Mais on dispose de techniques comme l'inférence de type pour gérer ce problème.
Variables of different types can be declared in one go using type inference.
Les variables de différents types peuvent être déclarés en une seule fois en utilisant l'inférence de type.
F# is a strongly typed functional-first language that uses type inference.
F# est un langage fortement typé utilisant l'inférence de types.
This is typically done using type inference analysis.
Cela se fait habituellement en utilisant une analyse d'inférence de types.
In particular, we prove strong normalization and decidability of type inference.
En particulier, nous démontrons la normalisation forte et la décidabilité du typage pour ce système.
After the definition of a base type system for our language, we present three novel extensions: An improvement of type inference for the pattern matching based on the addition of the "or" operator between sub-typing constraints.
Après avoir défini un système de types de base pour notre langage, nous en présentons trois extensions originales : Une amélioration du typage du filtrage de motifs basée en particulier sur l'ajout d'un opérateur de disjonction entre les contraintes de sous-typage.
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.
We describe our implementation of the system for type checking and type inference.
Nous décrivons notre implantation du système pour la vérification de types et l'inférence de types.
We study type inference and prove results of soundness and completeness.
De même, nous y étudions l'inférence de types dont nous démontrons la correction et la complétude.
The type system includes type checking and constraint-based type inference.
Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes.
Dealing with inheritance hierarchies, types vs references, type inference, is just impossible to use in practice.
Travailler avec des hiérarchies d'héritage, types vs références, inférence de type, est tout simplement impossible à utiliser dans la pratique.
The resulting data type inference on the nature, size, and extent of pollution.
Inférence de type de données obtenues sur la nature, la taille et l'étendue de la pollution.
Furthermore, type inference allows defining such operations without having to explicitly provide the type of their parameters and result.
L'inférence de types permet de plus de définir de telles opérations sans devoir expliciter le type de leurs paramètres et résultat.
Synoniemen voor type inference in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 99. Exact: 99. Verstreken tijd: 58 ms.
