Согласование типов

Согласование типов. Различные языки программирования обладают разными наборами типов данных.

Возможные отношения между типами данных приведены ниже. К эквивалентным типам данных относятся типы данных, для которых внутреннее представление, сгенерированное компиляторами, идентично.

К косвенно-эквивалентным типам данных относятся типы данных, для которых нет эквивалентного описания, но с помощью имеющихся языковых средств их можно совместить. К неэквивалентным типам данных относят данные, которые невозможно свести друг к другу с помощью имеющихся языковых средств. Рассматриваемые алгоритмические языки различаются не только типами, а также заданиями длины отдельных элементов данных. Длина элеметов данных может указываться явно или неявно по умолчанию.

Кроме того, необходимо отметить следующие организационные особенности каждого языка 1 обратное расположение массивов в языке ФОРТРАН массив располагается в памяти по столбцам, а в языке ПЛ1 - по строкам 2 наличие информационного вектора для переменных в языке ПЛ1 поскольку в языке ПЛ1 память под данные может выделяться динамически, компилятор генерирует информационный вектор, который содержит сведения о переменных, строках и массивах адрес, длина, количество элементов и пр. и имеет различный вид для различных структур данных 3 выравнивание полей, которое определяется тем, что компилятор располагает данные в соответствии с описаниями, выравнивая их, если необходимо, на границы слов и полуслов. 1 1.1.4.