Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
type checker
Vertaling van "type checker" in Frans
Type Checker
vérificateur de type
Notice also that those extension methods in your modules are also understood by the static type checker and compiler.
Notez également que, dans vos modules, les méthodes d'extension sont également comprises par le vérificateur statique et le compilateur.
But the static type checker computes what we call a "lowest upper bound", which is actually a list of numbers which are also serializable and comparable.
Cependant, le vérificateur statique de types calcule ce que nous appelons « la plus petite limite supérieure », c'est à dire, en réalité, une liste de nombres à la fois sérialisables et comparables.
This goal is already a reality for simple types, and we discuss the problems remaining for polymorphism, which still requires substantial extra work to satisfy the type checker.
Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.
The static type checker, however, won't complain for certain automatic type conversions that Groovy supports.
Le vérificateur statique des types ne soulèvera, cependant, pas d'erreur pour certaines des conversions automatiques supportées par Groovy.
This type checker is proven sound with respect to the specification and can be extracted to OCaml code and run independently of Coq's kernel type-checker.
Ce vérificateur de type est prouvé correct vis à vis de la spécification et peut être extrait en code OCaml et exécuté indépendamment du vérificateur de type du noyau de Coq.
It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).
Il possède également des modules de paramétrisations, des opérateurs mixfix, les caractères Unicode et une interface Emacs interactive (le vérificateur de type peut aider au développement du code).
So that's why the type checker answered with AnyVal.
C'est pourquoi le type correcteur a répondu avec AnyVal.
Flow is a static type checker for your JavaScript code.
Flow est un système de typage statique pour votre code JavaScript.
the Type Checker first carries out a grammatical verification of a B component, and then a certain number of contextual verifications including the type control and the control of identifier scopes.
le Type Checker effectue d'abord la vérification grammaticale d'un composant B, et ensuite un certain nombre de vérifications contextuelles dont le contrôle de type et le contrôle de portée des identificateurs.
to view the overall status of a project, by supplying for each component, its status (passed to Type Checker, translated to C or to Ada), the number of proof obligations and the percentage proved
de visualiser de manière synthétique l'état d'un projet, en fournissant pour chaque composant, son état (passé au Type Checker, traduit en C ou en Ada), le nombre d'obligations de preuve et le pourcentage prouvé,
Type checker: Duringthe adhesion of constant abstracts via homonymy, the type-checker picked up an error, whilst this construction is permitted by the B language.
Type checker: Lors du collage de constante abstraites par homonymie, le type-checker levait une erreur, alors que cette construction est autorisée par le langage B.
As such, to carry out an action (passage through the Type Checker, through the proof obligation generator etc.) on a selection of components, Atelier B reports the action(s) required for the components on which it depends.
Ainsi, pour effectuer une action (passage au Type Checker, au Générateur d'obligations de preuve...) sur une sélection de composants, l'Atelier B reporte la ou les actions nécessaires sur les composants dont ils dépendent.
Then, we remark that the idea of a certifying type checker, generating a typing derivation, can be extended to realize an incremental type checker, working by reuse of typing subderivation.
Ensuite, nous remarquons que l'idée d'un vérificateur de type certifiant, qui génère une dérivation de typage, peut être étendue pour en faire un vérificateur de type incrémental, fonctionnant par réutilisation de sous-dérivations de typage.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor type checker in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 15. Exact: 15. Verstreken tijd: 218 ms.
