Система типов в дереве операций
Для дерева операций была разработана система типов значений, схожая с системой типов данных компилируемого языка. Элементарные типы, наряду со связанными типами из компилируемого языка, представлены в таблице.
Название |
Описание |
Связанный тип |
|---|---|---|
|
Целочисленное значение размером 8 байт |
|
|
Целочисленное значение размером 1 байт |
|
|
Вещественное значение размером 8 байт |
|
|
Массив символов размером по 1 байт |
|
|
Данные, не содержащие значения |
|
Также присутствуют следующие составные типы:
FunctionType– функциональный тип. Используется для хранения заголовков функций, задается с помощью типа возвращаемого значения и списка типов аргументов.PointerType– внутреннее представление указателя. Используется для работы с переменными и списками, задается с помощью типа хранимого значения и, опционально, количества элементов, последовательно расположенных в памяти (размера списка).