Terms for subject Programming containing type-check the code

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)
type-check the code	выполнять проверку согласования типов в коде (Alex_Odeychuk)