TYPE SAFETY - английски-немски превод

в PONS речника

Запис в OpenDict

type safety СЪЩ

type safety ИНФОРМ

Typsicherheit f

в PONS речника

I. type [taɪp] СЪЩ

1. type (kind):

type

Art f <-, -en>

type of hair, skin

Typ м <-s, -en>

type of food, vegetable

Sorte f <-, -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 f <-, -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> spec

type

Urbild ср <-(e)s, -er>

4. type ТЕАТ, ЛИТ:

type

Typus м <-, Typen>

5. type ТИП:

type (characters)

Buchstaben pl

type (characters)

Schrift f <-, -en>

type (lettering)

Schriftart f <-, -en>

type (stamp)

[Druck]type f spec

italic type

Kursivschrift f

I wouldn't believe everything I read in type

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

6. type ИНФОРМ (bars):

type

Type f <-, -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] geh

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 f <-, -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 f <-, -en>

safety of a medicine

Unbedenklichkeit f <->

3. safety (safety catch):

safety of a gun

Sicherung f <-, -en>

safety of a gun

Sicherungshebel м

4. safety:

safety (in American football)

Sicherheits-Touchdown м

safety (in American football)

Safety м spec

safety (player)

Rückraumspieler м

Phrases:

there's safety in numbers saying

in der Gruppe ist man sicherer

"Банково дело, финанси, застрахователно дело"

type СЪЩ FINMKT

type (z. B. Wertpapiere: Kategorie)

Gattung f

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

едноезични примери (не са проверени от PONS редакцията)

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