typesysteem oor Engels

typesysteem

Vertalings in die woordeboek Nederlands - Engels

type system

naamwoord

set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules

voorbeelde

Hacks typesysteem laat toe types te specificeren als functieargumenten, functiereturnwaardes en klasse-eigenschappen; types van lokale variabelen kunnen echter niet worden gespecificeerd.
Hack's type system allows types to be specified for function arguments, function return values, and class properties; however, types of local variables are always inferred and cannot be specified.

In het septembernummer van 1958 legt hij in detail uit hoe het typesysteem van de redactie werkt.
In the September 1958 issue, he explains in detail how the type system used by the editors works.

Dit typesysteem noemt men geleidelijke typing, wat ook geïmplementeerd is in talen zoals ActionScript.
This kind of a type system is called gradual typing, which is also implemented in other programming languages such as ActionScript.

Voorbeelden hiervan zijn onder meer Presburger rekenkunde, reële gesloten lichamen en statische typesystemen van veel programmeertalen.
Some first-order theories are algorithmically decidable; examples of this include Presburger arithmetic, real closed fields and static type systems of many programming languages.

Hack staat programmeurs toe om zowel dynamische als statische typesystemen te gebruiken.
Hack allows programmers to use both dynamic typing and static typing.

Dan, kan het hangende typesysteem zijn rol spelen.
Then, hanging type system can play its role.

Als ik het project zou moeten uitvoeren, zou ik eerst de grenzen van het typesysteem willen uittesten door het formaliseren van de eerste tien bladzijden van [EGA1].
If I were to start the project, I would first investigate the limits of the type system by trying to prove the first ten pages of [EGA1].

Een reeks talen die geïnspireerd zijn door Haskell, maar met verschillend typesysteem, zijn o.a.:
A series of languages inspired by Haskell, but with different type systems, have been developed, including:

Elke stellingbewijzer heeft een typesysteem om hem in staat te stellen bv.
Every prover has a type system to distinguish e.g.

Zij plaatsen ook de dienst op zowel online als live streaming naar een internet radio typesysteem.
They also post the service on line as well as live streaming to a internet radio type system.

Een rijk typesysteem is nodig om ingewikkelde dingen uit te drukken.
One needs a rich type system to express complicated matters.

Het RIE typesysteem wordt normaal goedgekeurd voor de ets van diëlektrische films.
The RIE type system is normally adopted for the etching of dielectric films.

Dit typesysteem zal duurder zijn, aangezien het meer meaterial dikte vergt.
This type system will be more expensive, as it need more thickness meaterial.

Relationeel redeneren voor geavanceerde typesystemen in geavanceerde programmalogica's
Relational reasoning for advanced type systems in advanced program logics

Van deze twee parallel-plaatreactoren is het RIE typesysteem typisch goedgekeurd voor de ets van diëlektrische films geweest.
Of these two parallel-plate reactors the RIE type system has been the one typically adopted for the etching of dielectric films.

Stellingbewijzers met een rijk typesysteem hebben doorgaans minder ingebouwde intelligentie: hoe meer mogelijkheden je hebt, hoe moeilijker het wordt om daar intelligent mee om te springen.
Theorem provers with a rich type system typically have less intelligence, because the more possibilities a prover has, the harder it is to choose between them.

Efficiënte Verklarende Typesystemen voor Parallelle Systemen
Efficient Explanatory Type Systems for Parallel Systems