Type-checked

Перевод слова "type-checked" на Русский язык

Причастие

/ˈ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

Used to describe code that has undergone type checking.

прошедший проверку типов

ИТ; используется для описания кода, в котором была выполнена проверка типов

In a type-checked language, many runtime errors are caught at compile time.

В языке, прошедшем проверку типов, многие ошибки времени выполнения обнаруживаются на этапе компиляции.

Дополнительные переводы

проверенный на соответствие типам

ИТ; с акцентом на процесс проверки соответствия типов