en

Type-checked

ru

Übersetzung von "type-checked" ins Russisch

type-checked
Partizip Perfekt
raiting
UK
/ˈtaɪp tʃɛkt/
US
/ˈtaɪp tʃɛkt/
type-checked
Participial adjective formed from the past participle of the verb 'type-check'; used attributively or predicatively.
проверенный тип
The type-checked code is less prone to errors.
Проверенный тип код менее подвержен ошибкам.
type‑checked
Partizip Perfekt
type-checked
raiting
type-checked
Used to describe code that has undergone type checking.
прошедший проверку типов
ИТ; используется для описания кода, в котором была выполнена проверка типов
In a type-checked language, many runtime errors are caught at compile time.
В языке, прошедшем проверку типов, многие ошибки времени выполнения обнаруживаются на этапе компиляции.
Weitere Übersetzungen
проверенный на соответствие типам
ИТ; с акцентом на процесс проверки соответствия типов

Definitionen

type-checked
Partizip Perfekt
raiting
UK
/ˈtaɪp tʃɛkt/
US
/ˈtaɪp tʃɛkt/
Having undergone a process to verify that the data types used in a program or code are correct and consistent.
The type-checked code ensured that no type errors would occur during execution.
type‑checked
Partizip Perfekt
raiting
Having been verified by type checking to ensure consistency of data types in source code.
In a type-checked language, many runtime errors are caught at compile time.

Redewendungen und Phrasen

type-checked code
Type-checked code reduces runtime errors.
типизированный код
Типизированный код снижает количество ошибок во время выполнения.
type-checked language
Haskell is a strongly type-checked language.
типизированный язык
Haskell — это сильно типизированный язык.
type-checked variable
A type-checked variable cannot change its data type.
переменная с проверкой типа
Переменная с проверкой типа не может менять свой тип данных.
type-checked function
A type-checked function ensures data integrity.
типизированная функция
Типизированная функция обеспечивает целостность данных.
type-checked interface
A type-checked interface reduces the risk of implementation errors.
интерфейс с проверкой типов
Интерфейс с проверкой типов снижает риск ошибок при реализации.