5.Концепция типа данных в Pascal.

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

Концепция типа данных в Pascal.

1. Любой тип данных определяет множество значений, к которому принадлежат постоянные, функции или выражения

2. Тип значения задаваемого постоянной, переменной или выражением можно определить по их виду или описанию.

3. Каждая операция или функция требует аргумента фиксированного типа и выдает результат фиксированного типа. Транслятор может использовать информацию о типах для проверки типов и правильности конструкций.

В Pascal существуют скалярные и структурированные типы данных.

Скалярные типы включают:

• Стандартные (целые, вещественные, символьные, логические, адресные)

• Типы, определяемые пользователем (перечисляемый и интервальный)

Структурированные типы:

• Массивы

• Строки

• Множества

• Записи

• Файлы и др.

Еще есть процедурный и объектный.

Есть понятия эквивалентности и совместимости типов.

Два типа Т₁ и Т₂ являются эквивалентными (идентичными), если выполняется одно из двух условий: Т₁ и Т₂ представляет собой один и тот же тип, Т₁ и Т₂ описаны с помощью равенства.

Менее строгие ограничения определяются совместимостью типов.

Типы являются совместимыми, если:

• Они эквиваленты

• Оба либо целые, либо действительные

• Один тип интервальный, другой его базовый

• Оба интервальные с общим базовым

6.Данные целого типа в языке Pascal.

Целые типы определяют константы, переменные и функции, значения которых реализуют значения целых чисел.

Название типа	Тип	диапазон значений	требуемая память
Короткое целое со знаком	Shortint	-128 .. 127	1 байт
Целое со знаком	Integer	-32768 .. 32767	2 байта
Длинное целое со знаком	Longint	-2147483648 .. 2147483647	4 байта
Короткое целое без знака	Byte	0 .. 255	1 байт
Целое без знака	Word	0 .. 65535	2 байта

Арифметические операции дающие целый результат: +, -, *, деление div, остаток от деления mod

5 div 2=2; 5 mod 2=1

К аргументам целого типа применяют следующие функции, результат которых имеет целый тип:

• Абсолютная величина: Abs( )

• Квадрат: sqr( )

• Следующий за( ) : succ( )

• Предыдущий за ( ) : pred( )

Для быстрой работы с целыми типами:

• Inc(x)=x+1

• Inc(x, k)=x+k

• Dec(x)=x-1

• Dec(x, k)=x-k

7.Данные вещественного типа в языке Pascal.

Группа вещественных типов определяет те данные, которые реализуются подмножеством действительных чисел.

Название типа	Тип	Диапазон значений	Количество цифр мантиссы	Размер (байт)
Вещественное число одинарной точности	Real	2.9e-39 .. 1.7e+38	11	6
Вещественное число	Single	1.5e-45 .. 3.4e+38	7	4
Вещественное число двойной точности	Double	5.0e-324 .. 1.7e+308	15	8
Вещественное число повышенной точности	Extended	3.4e-4932 .. 1.1e+4932	19	10
Целое число в формате вещественного	Comp	-9.2e+18 .. 9.2e+18	19	8

Comp – число без дробной части и без точки.

Операции: +, -, *, /

Булевские операторы: >, <

Дают вещественный результат:

Abs(x), sqr(x), sin(x), cos(x), arctan(x), ln(x), exp(x), sqrt(x), frac(x) – дробная часть;

int – целая часть; Pi=π; trunс – выделяет целую часть путем отсечения дробной части;

raund – округляет до ближайшего целого

Примечание: типы Single, Double, Extended работают при подключении сопроцессора, в том числе при эмуляции сопроцессора.