Translation of "Type-checking" in German
Strangely
enough
a
variant
is
a
type
without
proper
type-checking.
Seltsamerweise
ist
eine
Variante
ein
Datentyp
ohne
korrekte
Typprüfung.
ParaCrawl v7.1
Type-checking
here
means
that
an
algorithm
does
not
have
to
find
a
proof,
but
only
to
validate
a
given
one.
Typprüfung
heißt
hier,
dass
ein
Algorithmus
keinen
Beweis
zu
finden
hat,
sondern
diesen
nur
zu
überprüfen
braucht.
WikiMatrix v1