Типизации
Система типов данных языка — это система, которая ставит в соответствие каждому значению, вычисленному в процессе выполнения программы, свой тип данных.
Основные функции систем типов данных:
- обеспечение безопасности: системы типов данных предотвращают так называемые «ошибки типов», проверяя, что каждая операция получает аргументы именно тех типов, для которых она имеет смысл, например, математические операции не получают аргументов типа строка или массив;
- оптимизация: типы, сопоставленные значениям, могут использоваться компилятором для оптимизации их обработки, например, для выбора способа их хранения и алгоритма их обработки;
- документация: использование определенных типов данных может подчеркивать намерения программиста;
- абстракция: использование типов данных высокого уровня позволяет программисту думать о значениях как о высокоуровневых сущностях, а не как о наборе битов.
Типизация языка определяется природой ограничений на типы данных и тем, как они проверяются и претворяются в жизнь. Типизация берет начало от практических вопросов архитектуры компьютеров, реализации компилятора и модели языка.
Следует отметить, что некоторые термины в этой предметной области могут не иметь общепринятого значения, и их использование в разных статьях может зависеть от точки зрения автора.
