OberonCore

Алексей Морозов в телеграм-чате сообщил о ревизии типов в А2: http://cas.inf.ethz.ch/news/1

Тип INTEGER неопределённого размера выглядит шагом назад.

Зато вагон и маленькая тележка типов определённых размеров, в том числе и целых без знака. Легче теперь портировать код с паскаля, C++

О, наконец-то ушли от 16-битного INTEGER. Хорошо.

Хотя я бы лучше назвал типы INT8..INT64 и UINT8..UINT64 вместо SIGNED и UNSIGNED. И короче, и выразительнее.

Вот, да. Согласен

А мне казалось, что там уже и раньше были эти типы фиксированной разрядности. Нет разве?

Тогда они мирно сосуществовали со старыми типами. А теперь многие старые типы просто удалили. И сообщество так-сказать оповестили, что-бы поправили код.
Там и скрипт есть, который это сделает автоматически.

Присоединяюсь.

Ярослав, а как в AO реализовано взаимодействие знаковых и беззнаковых типов? Как это соотносится с SHORT()? Насколько я понимаю, вычисления всегда со знаком, т.е. чтобы работать, допустим, с UNSIGNED32 диапазон вычислений со знаком должен быть уже 64-битным.

Или беззнаковые типы там "сырые" (им всё всегда можно присвоить, при этом знаковость игнорируется)?

Вот в GPCP тип UBYTE реализован очень строго: присваивать ему можно только через функцию USHORT(), проверяющую диапазон. Притом он реализован только в версии для .NET и, видимо, только для совместимости.