Синонимы для слова "типобезопасность"

Слова и выражения связанные по смыслу со словом "типобезопасность"

• формальная верификация
• перегрузка операторов
• время компиляции
• хвостовая рекурсия
• ссылочная прозрачность