Тема что-то расползлась, но всё же попробую ответить.
Цифры в именах типов делают исходник нечитабельным и тяжело набираются на клаве. Уже говорил. Это справедливо для синтаксиса Кантора. Я проводил опыты и понял, что у самого глаза вытекают. Цифр не будет.
Сочетание UInt придумали те, кто боится назвать слово словом. Смотрится ужасно. Я хочу вернуть слову его изначальный смысл. Единственная видимая мной альтернатива -- назвать абстрактное беззнаковое целое полным именем UnsignedInteger, от которого порождать Byte, ShortWord, LongWord и QuadWord.
dragon писал(а):
А какова длина машинного слова?
Длина машинного слова -- размер арифметического регистра. В Канторе нет адресной арифметики, поэтому с этим однозначно.
По поводу длины идентификаторов. Вы еще настоящей длины не видели.
В Канторе всё распихано по пространствам, поэтому в прикладном коде типы будут выглядеть как Core:SingleFloat или Core:DoubleFloat. Такова организация ООП в Канторе. Из хорошего -- есть with в SQL-ном смысле (не путать с паскалевским). Уважаемый iz56 сможет написать так:
Код:
with
S = Core:SingleFloat;
class iz56 of
var S maxVelocity = 0;
end;
S = Core:SingleFloat;
class iz56 of
var S maxVelocity = 0;
end;
То есть, как и в SQL, в Канторе всему можно дать локальный синоним, который потом использовать. Синоним ничего не стоит, он типа как макроподстановка, но контролируемая компилятором. Как в SQL, повторюсь.
Типы придется указывать только в тех местах, где их и нужно указывать -- в объявлениях различной степени абстрактности. Во всех других случаях будет работать вывод типов. Пример:
Код:
Core:LongWord two = 2;
three = two + 1; // тоже имеет тип Core:LongWord
three = two + 1; // тоже имеет тип Core:LongWord