Translation of "Typsicherheit" in English
Glas:
Typsicherheit
temperiert
Verbundglas
(flach
und
Kurve)
Glass
type:safety
tempered
laminated
glass
(flat
and
curve)
ParaCrawl v7.1
Von
einem
Verifier
wird
Java-Code
zunächst
auf
strukturelle
Korrektheit
und
Typsicherheit
überprüft.
Java
code
is
initially
being
checked
by
a
verifier
for
structural
correctness
and
security
of
types.
ParaCrawl v7.1
Die
Definition
der
zwei
Klassen
OrangeBox
und
AppleBox
bietet
zusätzliche
Typsicherheit,
denn
der
Rückgabetyp
der
Methode
fruit
ist
in
diesen
Klassen
zu
jeweils
Orange
und
Apple
konkretisiert.
The
definition
of
the
two
classes
OrangeBox
and
AppleBox
give
us
additional
type
safety,
since
the
return
type
of
the
method
fruit
is
additionally
restricted
to
Orange
and
Apple,
respectively.
ParaCrawl v7.1
Die
obsessive
Typsicherheit
von
Mitgliedern
der
C-Sprachfamilie
wie
C++,
Java
und
C#
machen
sie
schwerfälliger
für
Data
Science
und
schnelles
Prototyping,
aber
sie
erleichtert
die
Entwicklung
von
langweiligen,
robusten,
aber
oft
auch
schönen
Systemen,
die
gut
unter
Produktionsstress
funktionieren.
The
obsessive
type-safety
of
members
of
the
C-family
programming
languages,
such
as
C++,
Java,
and
C#,
makes
them
more
cumbersome
for
data
science
and
quick
prototyping,
but
makes
it
easier
to
write
boringly
robust
(and
sometimes
even
beautiful)
systems
that
function
well
under
stress
in
production.
ParaCrawl v7.1
Unveränderliche
Collections
leiden
nicht
unter
diesem
Problem,
und
können
kovariant
implementiert
werden,
ohne
die
Typsicherheit
zu
gefährden.
Immutable
collections
do
not
suffer
from
the
same
issue,
and
can
be
implemented
to
be
covariant
without
risking
type
safety.
ParaCrawl v7.1
Trotz
oder
gerade
wegen
der
Typsicherheit
der
Sprache
sollte
man
sich
mit
den
verschiedenen
Techniken
vertraut
machen:
In
spite
of
-
or
precisely
because
of
-
the
type
safety
of
the
language,
one
should
get
acquainted
with
the
various
techniques:
ParaCrawl v7.1
Während
in
anderen
Programmiersprachen
auf
Kommentare
und
Konventionen
zurückgegriffen
werden
muss,
weil
das
Typsystem
nicht
in
der
Lage
ist,
die
Typsicherheit
eines
Programms
zu
garantieren,
kommt
man
mit
dem
Scala-Typsystem
sehr
weit.
While
developers
have
to
fall
back
to
using
comments
and
conventions
in
other
programming
languages,
since
those
languages
aren't
able
to
guarantee
type
safety,
you
can
achieve
quite
some
mileage
with
the
Scala
type
system.
ParaCrawl v7.1
Alles
in
Allem
sind
als
Typ-Parameter
und
die
ko-
und
kontravariante
Annotationen
ein
mächtiges
Werkzeug,
das
gerade
in
der
Implementierung
von
Collection-Frameworks
nützlich
ist,
und
auch
Clients
dieser
Frameworks
hilft,
einerseits
Typsicherheit
zu
garantieren,
und
andererseits
ihre
Absichten
zu
dokumentieren:
Eine
Liste
kann
als
Liste
von
Fruit
deklariert
werden,
und
nicht
mehr
nur
als
eine
Liste
von
irgendwelchen
Objekten.
All
in
all,
type
parameters
and
co-/contravariant
annotations
are
powerful
tools
that
are
useful
in
the
implementation
of
collection
frameworks.
It
also
helps
clients
of
these
frameworks
to
achieve
type
safety,
and
to
better
document
their
intent:
a
list
can
be
declared
to
be
a
list
of
Fruit,
instead
of
as
a
list
of
arbitrary
objects.
ParaCrawl v7.1
Um
zu
verstehen,
wie
der
Scala-Typchecker
versucht,
die
Typsicherheit
einer
Codebase
zu
garantieren,
und
wie
sich
die
Regeln,
die
er
dabei
verwendet,
auf
ein
so
vertrautes
Konzept
zurückführen
lässt,
werden
wir
zunächst
diskutieren,
was
mit
Subtyp-Polimorphismus
gemeint
ist.
Danach
werden
wir
sehen,
wie
bereits
beim
Overriding
von
Methoden
das
Thema
Ko-
und
Kontravarianz
auftaucht.
To
understand
how
the
Scala
type
checker
tries
to
guarantee
the
type
safety
of
a
code
base,
and
how
the
rules
that
are
applied
in
the
process
can
be
traced
back
to
the
familiar
concept
of
subtype
polymorphism,
I
will
first
discuss
what
is
meant
by
subtype
polymorphism.
ParaCrawl v7.1