Что такое тип данных? Зачем мы про него говорим, едва ознакомившись с модулем и журналом? Дело в том, что типы данных - очень, очень важная штука в программировании.

Мы знаем, что компьютеры работают с данными. А что такое данные? Данные - это факты, сущности внешнего мира, представленные таким образом, чтобы компьютер их мог обрабатывать. Ну а типы данных суть множества значений этих данных. Типы данных также вводят ограничения на использование данных.

Например, числовой тип данных говорит нам о том, что переменная этого типа может содержать некий диапазон целых чисел. Переменную числового типа можно использовать только для числовых вычислений. Нельзя в число записать букву, это ограничение и нарушать его нельзя, иначе мы запутаемся в том, где у нас слова и где числа, где пирожки и где котята.

Это самые простые, неделимые типы. Для них в языке определены базовые операции для вычисления новых значений. Базовыми типами в Обероне являются

• INTEGER (целые числа, точные вычисления)
• REAL (дробные числа, вычисления с округлением)
• BOOLEAN (логические значения)
• CHAR (символы для печати)
• SET (последовательности)

Попробуем вывести в журнал значения переменных всех типов

MODULE MyTypes;

	IMPORT Log;
	
	PROCEDURE Do*;
	BEGIN
		Log.Int(2000 + 14); Log.Ln;
		Log.Real(355 / 113); Log.Ln;
		Log.Bool(5 > 2); Log.Ln;
		Log.Char('A'); Log.Ln;
		Log.Set({0, 1, 2, 3, 4, 5, 20}); Log.Ln;
	END Do;

END MyTypes.

Что же мы увидим в журнале после выполнения команды MyTypes.Do ? Посмотрим на результат.

2014
3.141592920353983
$TRUE
A
{0..5, 20}

Первой строчкой выведен результат вычисления операции сложения. Складываются целые числа, значит и результат будет тоже целочисленным.
На второй строчке выводится дробный результат деления двух целых чисел.
На третьей строчке мы видим, как выводится значение логического типа (очевидно, что пять больше двух и это истина, то есть TRUE).
Символ «А» выведен на четвёртой строчке.
И последним выведено перечисление SET. Это множество целых чисел из диапазона 0..31 (подробно на нём мы останавливаться не будем, потому что это выходит за рамки начального курса).

Из базовых типов полезно составлять другие, более сложные типы. Такие структурированные типы называются составными. Здесь мы рассмотрим только один из составных типов ‒ массив.

Массивы состоят из компонентов одинаковых типов. Это означает, что массив - однородная структура. Доступ к любому компоненту массива производится по индексу. Индекс может быть константой, переменной или вообще вычисляться в результате какой-то операции. Конечно же, индекс может быть только целым числом. В Обероне массивы индексируются с 0. Ну а размер массива задаётся только константой.

Массив сам по себе интересная штука. Он сильно облегчает программисту жизнь. Подумайте сами, что легче - тысячу раз объявить переменную типа INTEGER или один раз объявить массив из тысячи элементов типа INTEGER? Конечно, второе. Вот пример:

MODULE MyArrays;

	VAR
	
		i0, i1, i2, i3, i4, i5, i6, i7, i8, i9, i10, i11, i12, i13, i14, i15, i16, i17, i18, i19, i20, i21, i22, i23, i24, i25, i26, i27, i28, i29, i30, i31, i32, i33, i34, i35, i36, i37, i38, i39, i40, i41, i42, i43, i44, i45, i46, i47, i48, i49, i50, i51, i52, i53, i54, i55, i56, i57, i58, i59, i60, i61, i62, i63, i64, i65, i66, i67, i68, i69, i70, i71, i72, i73, i74, i75, i76, i77, i78, i79, i80, i81, i82, i83, i84, i85, i86, i87, i88, i89, i90, i91, i92, i93, i94, i95, i96, i97, i98, i99: INTEGER;
		
		a: ARRAY 100 OF INTEGER;

END MyArrays.

Как видите, разница просто бросается в глаза. В разделе VAR объявлена сотня целочисленных переменных и их так много, что они не умещаются в экран. Следом объявлен массив a размером тоже в сотню целых чисел, но это объявление куда компактнее. И, главное, использовать эту сотню в виде массива гораздо удобнее. Можно передавать её как переменную, можно вычислять индекс доступа, можно выбирать любой элемент как если бы это была одна переменная.