Язык Cowgol и компилятор для 6502, 8080, Z80, 8086, 80386, PDP-11, ARM(thumb2) и в Си

[Dart Alver]

Просто ассемблер MACRO-11 поддерживает макросы, причём механизм настолько эффективен, что позволяет реализовать макросы для структурных операторов.

Даже любопытно стало, можно ли чтото похожее сбацать в SjASMе, если поковырять макросы и Lua ?

[Advertiser]

[Andrew771]

Andrew771, ты подумай как можно сделать задачи по оптимизации качества кода маленькими и законченными подзадачами. Если каждый напишет своё золотое правило - вот и получится классная кодогенерация. Я понимаю насколько это сложно. Ну так может хватит просто передирать у Вирта, а вместо этого сделать лучше, чем Вирт? Пусть это будет скриптовый мини-язык оптимизаций или щелевой (peephole) оптимизатор. Ты просто пойми барьер тех, кто не хочет влезать в весь твой код, кому не нравится Паскаль, кому не нравится Z80. А хотя да, пустое пишу.

Не пустое. Со времен своей статьи по генерации и оптимизации кода 2015 года (стр.52) я уже серьезно продвинулся дальше. Первые оптимизации действительно делал по книге Вирта "Построение компиляторов". В ней только общими словами на 2-3 страницы было описано. а я перевел в код асма Спектрума. А после делал свои оптимизации (не описаны в книге), последние летом 2023 года - нахождение одинаковых кусков кода и оформление их в процедуры. До этого оптимизировал индексы массивов и быстрое умножение. Подумывал уже про байт-код java, место сэкономлю еще, но производительность немного упадет. Думаю как опцию сделать. Нужно уже новую статью писать

[Oleg N. Cher]

Ну, лайкай лайкай авось тебе полегчает.

А ты заметил, Кряшечка, что я с Hunta разговариваю иначе, чем с тобой? А всё потому, что Hunta не тролль стопицотого уровня, а честный труженик, хоть и на своей волне.

[Кря Кря]

Вот видишь. Я даже не разговаривал с тобой а ты размазал. О чем я собственно и говорю. Вообще одичал и потерял способность общаться.

[Oleg N. Cher]

Да, спасибо. Очень приятно услышать конструктивную критику от тролля в свой собственный адрес)

Кстати, ты знал как делают науку? Собираются умные дядьки, разговаривают, думают, спорят, пьют кофе, завтракают и обедают в кафе. В муках рождают творческие идеи. То, что ты бы назвал "размазывать", хотя по сути это то, чем ты занимаешься здесь, не делая абсолютно ничего другого. Но ты размазываешь из пустого в порожнее, а я сею семена, которые несомненно дадут свои ростки и плоды.

Я знаю Форт - я даже написал Форт. Но мне очень не нравится его использовать. Он достигает своей радикальной простоты за счет отказа почти от всех функций, необходимых для реальной разработки программного обеспечения: переносимости, модульности, абстракции... Это фактически сильно типизированный язык без проверки типов, и единственный способ сообщить об ошибке (например, использовать FDROP вместо DROP) - это тонко отравить стек, что впоследствии приведет к сбою. Кроме того, он медленный - быстро для интерпретируемого языка, но все же намного медленнее, чем родной машинный код.

Тогда я бы посоветовал Вам не использовать Cowgol. Он явно не соответствует вашим требованиям.

Уважаемый Дэвид,

Если позволите, я скажу пару слов в защиту Форта. Вы, как всегда, слишком обобщили. Форт является медленным, поскольку использует прямой шитый или свёрнутый шитый код. Вы можете не использовать шитый код вообще - генерируйте сразу машинный код. Будет очень быстрый Форт, со скоростью получше, чем в Cowgol.

По поводу переносимости - Форт очень переносимый в перспективе язык. Вам просто надо реализовать одинаковый набор слов для всех интересующих вас архитектур. И поддерживать его одинаковым. Нивелируйте различия между разрядностью платформ, как вы делаете это сейчас. Слова, которые будут специфичны для платформы, не должны быть в общем наборе.

По поводу отравления стека - ну так сделайте опциональную проверку на то, чтобы DROP выдавал ошибку, если стек пуст. Это делает даже простой Forth для ZX Spectrum.

По поводу же модульности и абстракции я вынужден с Вами согласиться...

[Кря Кря]

Да, спасибо. Очень приятно услышать конструктивную критику от тролля в свой собственный адрес)

Вот смотри, я 2 или 3 сообщения написал тебе, нормально написал, еще несколько не тебе, но ты вылез из своего чулана и начал меня оскорблять, по всей видимости пытаясь спровоцировать и накидать жалоб.
И о какой критике речь? Ты просто решил еще раз меня оскорбить, даже там где от меня не было сообщений. Ты просто жалок. Тебя даже обероновцы с своего форума выпхали, ты их и там достал своим постоянным нытьем.

Можешь дальше размазывать, мне побоку на тебя.

[Oleg N. Cher]

Крякушенька,

ты не можешь нормально писать, ты для этого не подходишь. Ты можешь только пить кровь из тех, кто с тобой соприкасается.

Ты человек абсолютно иных от моих ценностей, и не можешь сказать мне ничего полезного. Уж за 45 лет я научился разбираться в людях. От таких как ты исходит только тлен и хаос.

Я не вижу, чтобы ты делал хоть что-то полезное даже здесь на форуме. Ты не кодишь, не конструируешь. Ты даже не рисуешь карты к играм. Ты не пытаешься что-то предложить вместо асма, как хотя бы пытаюсь делать это я. Ты именно ноешь и ноешь, и от этого уже всем тошно.

И да, никто меня ниоткуда не выпихивал, это твои влажные фантазии. А на конкретно этом форуме было немного чище пока ты не прилез снова замусоривать темы.

[Oleg N. Cher]

Кстати, здесь на форуме каждый второй, если не первый, пост люди дискутируют и обозначают проблемы. Именно эти термины я употребляю вместо твоих "размазывают" и "ноют". А что, что ты обвиняешь в этом только меня, говорит о твоём врождённом лицемерии.

[Oleg N. Cher]

Извини, что я обобщаю. На самом деле в плане оптимизации ты продвинулся даже несколько дальше Вирта. Вирт оптимизациями особо не заморачивался.

[Andrew771]

В современных компиляторах наверно до такой степени не оптимизируют - нет смысла, т.к. памяти и скорости хоть отбавляй, и можно еще добавлять. Только время и деньги потеряют на разработку. А у нас ситуация другая