Тип данных - относительно устойчивая и независимая совокупность элементов, которую можно выделить во всём рассматриваемом множестве значений.
Математически тип может быть определён двумя способами:
§ множеством всех значений, принадлежащим типу;
§ предикатной функцией, определяющей принадлежность объекта к данному типу.
Преимущества от использования типов данных
1. Надёжность. Типы защищают от 3-х видов ошибок:
§ Некорректное присваивание.
§ Некорректная операция.
§ Некорректная передача параметров в функцию.
2. Стандартизация. Позволяет менять рабочие инструменты, если типы известны.
3. Документация. Дополнительная информация о намерениях разработчика программ.
Классификация
§ Простые
§ Перечислимый
§ Числовой
1. Целый со знаком
2. Целый без знака
3. Вещественный
Символьный
Логический
§ Составные
Массив
Символьная строка
Запись (структура)
Файл
Класс (ООП)
§ Ссылочные
Указатель
Ссылка
Типизация
Процесс проверки типов называется типизацией.
1. Статическая типизация происходит во время компиляции программы.
2. Динамическая типизация происходит во время выполнения программы.
Типизация также бывает
1. Сильная - тщательный контроль.
2. Слабая - контроль почти отсутствует.
