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.
Nur wenn diese eine weitere quantifizierte Typvariable enthalten, kann die Spezialisierung durch deren weitere Ersetzung fortgeführt werden.
Only if it contains another quantified type variable, the specialization could continue further replacing for it.
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.
Autres résultats
Definiert eine neue ArrayList-Typvariable, und fügt dieser Werte hinzu.
Dies sind die Instanzen für die Typvariablen in den Regeln.
These are the instances for the type variable in the rules.
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.
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.
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.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "Typvariable" en allemand
