| English | Russian |
| A good compiler should be able to produce code with checks, should avoid redundant checks, and should allow programmers to control the extent and type of error checking in the compiled code | Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде (ssn) |
| but if the compiler provides the shortcut shown, why type more syntax that makes the code harder to read? | но если компилятор предлагает показанное сокращение, то зачем применять громоздкий синтаксис, затрудняющий чтение кода? (см. Accelerated C# 2010 by Trey Nash 2010 ssn) |
| code parametrized by types | параметризованный по типам код (Alex_Odeychuk) |
| code types | типы кода (scalar and vector code Alex_Odeychuk) |
| extent and type of error checking in the compiled code | количество и виды проверок на ошибки в скомпилированном коде (ssn) |
| Internal type checker validates code after transformations | Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований (ssn) |
| not verifiable type-safe managed code | неверифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в соответствии с type safety contract (условиями безопасности типов), для которого нельзя гарантировать проверку корректности в ходе выполнения. Безопасность такого кода может контролироваться другими средствами, не связанными напрямую с исполнительной системой ssn) |
| not verifiable type-safe unmanaged code | неверифицируемый неуправляемый код, безопасный по отношению к типам (любой неуправляемый код (напр., код из динамически подключаемых библиотек), созданный с максимальным учетом требований безопасности по отношению к типам, но для которого невозможно контролировать соблюдение этих требований в процессе исполнения ssn) |
| replace type code with class | замена кода типа классом (ssn) |
| replace type code with state/strategy | замена кода типа состоянием / стратегией |
| replace type code with subclasses | замена кода типа подклассами (ssn) |
| type- and code-verification | верификации типов и кода (ssn) |
| type code | код типа (данных ssn) |
| type the code | набирать исходный код (Alex_Odeychuk) |
| type-check the code | выполнять проверку согласования типов в коде (Alex_Odeychuk) |
| type-insensitive code | программа, инвариантная к типу уравнения (ssn) |
| type-safe code | код, безопасный по отношению к типам (код, совершающий над типами и экземплярами типов только разрешенные операции ssn) |
| type-safe managed code | управляемый код, безопасный по отношению к типам (ssn) |
| verifiable type-safe managed code | верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) |
| ways to specify a type in code | способы указания типов переменных в программах (ssn) |
