Контроль типов используется для проверки программы перед выполнением. При этом проверяются значения типов данных и синтаксис. Основная цель системы типов в языке программирования — снизить вероятность появления ошибок при выполнении программы из-за ошибок типов.
type checker (модуль контроля типов)
Контроль типов используется для проверки программы перед выполнением. При этом проверяются значения типов данных и синтаксис. Основная цель системы типов в языке программирования — снизить вероятность появления ошибок при выполнении программы из-за ошибок типов.
Ask questions and help your peers Developer Forums
Write your own tutorials or read those from others Learning Library