Examples with "Typvariablen" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Dies sind die Instanzen für die Typvariablen in den Regeln.
Die Notwendigkeit für die Einschränkung {\displaystyle \alpha ot \in \mathrm {frei} (\ \Gamma \)} wurde im Abschnitt über die freien Typvariablen eingeführt.
The necessity of this restriction {\displaystyle \alpha ot \in free(\ \Gamma \)} is introduced in the section on free type variables.
Abschließend können Typvariablen, die im ursprünglichen Typ nicht frei auftraten, optional quantifiziert werden.
Finally, type variables in {\displaystyle \tau'} not occurring free in the pristine type can optionally be quantified.
Neben den typisierten offenen Arrays gestattet Delphi Ihnen auch die Definition von typvariablen oder untypisierten offenen Arrays.
Besides these typed open arrays, Delphi allows you to define type-variant or untyped open arrays.
Andere resultaten
Definiert eine neue ArrayList-Typvariable, und fügt dieser Werte hinzu.
Nur wenn diese eine weitere quantifizierte Typvariable enthalten, kann die Spezialisierung durch deren weitere Ersetzung fortgeführt werden.
Dies heißt im Zusammenhang dieses Beispiels, dass dieselbe Typvariable displaystyle \alpha} sowohl gebunden als auch frei in verschiedenen Typen auftritt.
I.e. in context of the example, the same type variable displaystyle \alpha} appears both bound and free in different types.
Insofern kann eine freie Typvariable ohne Kenntnis des Kontexts nicht besser interpretiert werden als zu konstatieren, dass es sich um einen Monotyp handelt.
As a consequence, a free type variable cannot be interpreted better than stating it is a monotype without knowing the context.
