типобезопасность

EN: type safety

Свойство программы или языковой системы, предотвращающее чтение битов по иному правилу типа, чем использовалось при записи. Типобезопасная программа не может неверно интерпретировать сохранённые паттерны битов.