OberonCore

Kemet, видимо, в реальной жизни без зоопарков не обойтись. И что в них плохого? Никогда всё не бывает идеально. Нравится людям пилить компиляторы. Гораздо больше, чем писать библиотеки общего назначения. Что поделаешь.

Я не лабаю очередной недокомпилятор. Я лабаю транслятор семейства Оберон-языков в Си промышленного уровня. Оберон-07 там может быть представлен для полноты картины. Поддержать AO тоже заманчиво, но это не в приоритете.

Baikal, хороший компилятор оптимизирует деления и умножения на константы, кратные 2. Я бы вообще не пользовался компилятором, который этого не делает. Ofront+ тоже заменяет такие деления и умножения на сдвиги.

транслятор АО в Си уже есть

Кемет не меняется, такое же трепло, как и пять лет назад.

Не существует "Оберонцев-07". Вы спорите с призраками, созданными в Вашей голове, образы которых Вы накладываете на настоящих собеседников.
Тут та же проблема, Вы создаёте свой собственный образ по мотивам действительности, а затем его увлечённо изобличаете.

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

А как ещё называть людей, которые считают Оберон-07 абсолютно полноценным и самодостаточным языком программирования? И скрупулёзно ведут пространные дискуссии о каждом его аспекте, находя всё больше и больше достоинств по сравнению с Модулой-2, Обероном-2 и КП. Фанатиками?

То, что он полноценный и самодостаточный это простое следствие алгоритмической полноты, достижение чего не является чем-то сложным, а, скорее, наоборот.
Покажите, пожалуйста, такие дискуссии, в которых всё именно так, как Вы описываете.

Интересно, если убрать 07, что-то изменится?

Поваритесь маленько на IRC-канале #oberon на freenode, там постоянно происходят такие беседы.

Потребность трепать языком у т.наз. "сапиенсов" -- эволюционно-фундаментальная.

Возбуждаться, наблюдая её, -- нонсенс.

Покритикуйте, пожалуйста, мою реализацию циклического сдвига вправо. Может можно проще?


P.S. SYSTEM.ROT не предлагать, я про него знаю. Вопрос не об этом.

Должно быть воплощение без цикла.

как-то так

Kemet, про SYSTEM.LSH я тоже наслышан...

Хорошо, усложним проблему. Нужен RorLong для 64-битных значений. SYSTEM.LSH и SYSTEM.ROT не предлагать — они умеют только 32-битные сдвиги (хотя в Ofront'е+ и 64-битные тоже). Только ASH нормально заточен под LONGINT.

Насчёт того, чтобы избавиться от цикла — согласен. В Ofront сдвиг SYSTEM.ROT реализован так:
(__U_##t)(x) это приведение к беззнаковому типу нужной битности.

Но это на Си. А нужно на Компонентном Паскале.

P.S. Про то, что в Обероне-07 нет типа LONGINT, я в курсе.

Если так, то нужно правильно сделать эти сдвиги. Или разбить число на 32-битные сегменты и сдвигать их последовательно.

А перенос где сохранять? Слово состояния процессора же вне доступных "сущностей"

Протестировал такую реализацию RorLong (в BlackBox):


ASH(x, n) выдаёт ошибку исполнения "undefined real result (F8A1, 37E)" при n > 62. Для арифметического сдвига это нормально — получилось арифметическое переполнение, результат врезался в бит знака.

Похоже, использовать ASH для логического сдвига битов — плохая идея.

Будут ещё предложения?

В BlackBox же LONGINT реализован на FPU. Не уверен, что двигать там биты - хорошая идея.

Это хорошо, что переполнение ловит. Но вот да, как двигать биты (с переносом)? Не иначе как бить число на части и через SYSTEM.LSH...

Если использовать его как "безопасный Си" для микроконтроллеров, да ещё и модульный и с расширяемой системой типов - то он, наверное, реально полноценен.

Но это если не хотеть иметь инструменты прикладного абстрагирования повыше уровнем.

Илья, ну мы наверное константные массивы не зря в Ofront+ добавляли? Нет этого функционала в Обероне. А для мк он реально нужен. Или извращаться с UUDecode("FFAABB...")? Это потеря памяти на больших массивах. Тройная. А там, где нет файловой системы, из файла ресурс не скачать.

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