Тип (type) — набор значений и набор операций типа, применяемых к значениям данного Т. В языках программирования Т. вводится или определением или стандартным именем. Существуют такие Т. данных: скалярные — целые, вещественные, логические, перечислимые, символьные и абстрактные Т., составные — индексируемые и именуемые (строковые и комплексные), файловые Т., ссылочные, функциональные, процедурные и производные Т. Т. используются для предписания объектам принимать определенные Т. значения, для контроля правильности записи операций в выражении, при сопоставлении параметров и др.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]
Тип — это множество значений, которые могут принимать объекты программы, и совокупность операций, допустимых над этими значениями.
[Основы алгоритмизации и языки программирования. Южно – Российский Гуманитарный Институт им. Я.В. Федорова Учебное пособие. Ростов-на-Дону. 2008 г. 76 с.]