Type-checked
Übersetzung von "type-checked" ins Russisch
type-checked
Partizip PerfektUK
/ˈ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 Perfekttype-checked
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 PerfektUK
/ˈ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 PerfektHaving 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.
интерфейс с проверкой типов
Интерфейс с проверкой типов снижает риск ошибок при реализации.