TYPE SAFETY - Αγγλικά-Γερμανικά μετάφραση

Καταχώριση OpenDict

type safety ΟΥΣ

type safety Η/Υ

Typsicherheit θηλ

I. type [taɪp] ΟΥΣ

1. type (kind):

type

Art θηλ <-, -en>

type of hair, skin

Typ αρσ <-s, -en>

type of food, vegetable

Sorte θηλ <-, -n>

what type of clothes does she wear?

welche Art von Kleidern trägt sie?

he's the type of man you could take home to your mother

er gehört zu der Sorte Mann, die du mit nach Hause bringen und deiner Mutter vorstellen kannst

that type of behaviour

ein solches Benehmen

type of car

Autotyp αρσ

type of grain

Getreideart θηλ <-, -en>

for all different skin types

für jeden Hauttyp

2. type (character):

type

Typ αρσ <-s, -en>

he's not the type to cause trouble

er ist nicht der Typ, der Ärger macht

to be one's type

jds Typ sein οικ

quiet/reserved type

ruhiger/zurückhaltender Typ [o. Mensch]

3. type ΦΙΛΟΣ:

type

Typus αρσ <-, Typen> ειδικ ορολ

type

Urbild ουδ <-(e)s, -er>

4. type ΘΈΑΤ, ΛΟΓΟΤ:

type

Typus αρσ <-, Typen>

5. type ΤΥΠΟΓΡ:

type (characters)

Buchstaben pl

type (characters)

Schrift θηλ <-, -en>

type (lettering)

Schriftart θηλ <-, -en>

type (stamp)

[Druck]type θηλ ειδικ ορολ

italic type

Kursivschrift θηλ

I wouldn't believe everything I read in type

ich würde nicht alles glauben, was so geschrieben wird

6. type Η/Υ (bars):

type

Type θηλ <-, -n>

7. type ΧΡΗΜΑΤΙΣΤ (category):

type

Gattung <-, -en>

8. type (definition):

type

Typ αρσ <-s, -en>

II. type [taɪp] ΡΉΜΑ μεταβ

1. type (write with machine):

to type sth

etw tippen [o. mit der Maschine schreiben]

2. type (categorize):

to type sb/sth

jdn/etw typisieren [o. in Kategorien einteilen] τυπικ

to type blood ΙΑΤΡ

die Blutgruppe bestimmen

3. type (be example for):

to type sth

für etw αιτ typisch sein

III. type [taɪp] ΡΉΜΑ αμετάβ

type

Maschine schreiben

type

tippen

safe·ty [ˈseɪfti] ΟΥΣ no pl

1. safety (condition of being safe):

safety

Sicherheit θηλ <-, -en>

they all ran for safety behind trees

sie rannten alle, um sich hinter den Bäumen in Sicherheit zu bringen

I prefer to watch it on TV from the safety of my own armchair

ich sehe es mir lieber, von meinem sicheren Sessel aus, im Fernsehen an

place of safety

sicherer Ort

with no thought for one's own safety

ohne an seine eigene Sicherheit zu denken

to be concerned for the safety of sb

um jds Sicherheit besorgt sein

to guarantee [or assure] sb's safety

für jds Sicherheit garantieren

to leap to safety

sich αιτ mit einem Sprung in Sicherheit bringen

to winch sb to safety

jdn mit einer Seilwinde in Sicherheit bringen

for your [comfort and] safety

zu Ihrer [Bequemlichkeit und] Sicherheit

for safety['s sake]

sicherheitshalber

for safety['s sake]

aus Sicherheitsgründen

2. safety (freedom from harm):

safety

Sicherheit θηλ <-, -en>

safety of a medicine

Unbedenklichkeit θηλ <->

3. safety (safety catch):

safety of a gun

Sicherung θηλ <-, -en>

safety of a gun

Sicherungshebel αρσ

4. safety:

safety (in American football)

Sicherheits-Touchdown αρσ

safety (in American football)

Safety αρσ ειδικ ορολ

safety (player)

Rückraumspieler αρσ

ιδιωτισμοί:

there's safety in numbers saying

in der Gruppe ist man sicherer

type ΟΥΣ ΧΡΗΜΑΤΑΓ

type (z. B. Wertpapiere: Kategorie)

Gattung θηλ

Present

I	type
you	type
he/she/it	types
we	type
you	type
they	type

Past

I	typed
you	typed
he/she/it	typed
we	typed
you	typed
they	typed

Present Perfect

I	have	typed
you	have	typed
he/she/it	has	typed
we	have	typed
you	have	typed
they	have	typed

Past Perfect

I	had	typed
you	had	typed
he/she/it	had	typed
we	had	typed
you	had	typed
they	had	typed

Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)

Static type-checking can be thought of as a limited form of program verification (see type safety).

en.wikipedia.org

He created a striker type ejection system and integrated a toggle-type safety/selector.

en.wikipedia.org

The formal type-theoretic definition of type safety is considerably stronger than what is understood by most programmers.

en.wikipedia.org

Type safety is closely linked to "memory safety", a restriction on the ability to copy arbitrary bit patterns from one memory location to another.

en.wikipedia.org

Specifically, such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system.

en.wikipedia.org