Телеграмм чат группы compilerdev страница 1098

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

814 membersпожаловаться на группу

2020 March 21

AT

Alexander Tchitchigin in Compiler Development

Victor Miasnikov

А здесь в обсуждении...

--

Кстати, hello.exe не является "simplest possible task".

Это я могу утверждать по опыту испытания отладчиков на .exe из примеров на Modula-3

Как бы пост именно на это и намекает. 😊

источник

20:03пожаловаться #1

VM

Victor Miasnikov in Compiler Development

Alexander Tchitchigin

Как бы пост именно на это и намекает. 😊

Пост несколько запоздал: ещё в 90х в FAQ M3 был целый раздел про мини-программы с объяснениями, почему им уделено мало внимания авторами языка.

--

Вот, например, GC мешает уменьшить hello.exe.

И что: мы должны избавиться от него?

источник

20:05пожаловаться #2

PS

Peter Sovietov in Compiler Development

Но вы же тогда вообще не сможете предсказать производительность.

А зачем мне ее предсказывать? Мне интересна сама возможность писать программы с относительным удобством для bare metal-машин — то самое системное ПО старой школы.
Автор блога называет себя системным программистом и сокрушается, что в результате его анализа даже Zig недотягивает до Си — вот я и делюсь идеей сделать список компиляторов конкретно для bare metal-дел :)

источник

20:06пожаловаться #3

VM

Victor Miasnikov in Compiler Development

А зачем мне ее предсказывать? Мне интересна сама возможность писать программы с относительным удобством для bare metal-машин — то самое системное ПО старой школы.
Автор блога называет себя системным программистом и сокрушается, что в результате его анализа даже Zig недотягивает до Си — вот я и делюсь идеей сделать список компиляторов конкретно для bare metal-дел :)

Меня впечатлили системные модули для ОС "Колибри" на Modula-2: просто IRQ с заполненными регистрами.

источник

20:09пожаловаться #4

PS

Peter Sovietov in Compiler Development

Victor Miasnikov

Меня впечатлили системные модули для ОС "Колибри" на Modula-2: просто IRQ с заполненными регистрами.

Ну да, Ada, Oberon, Forth, C... — первое, что приходит на ум. Но интересно сформировать критерии, по которым их еще и между собой можно будет сравнить и ясно дать понять ,что и они — не идеальны. Ведь и в том же Rust люди тоже как-то пытаются писать на уровне bare metal ;)

источник

20:11пожаловаться #5

VM

Victor Miasnikov in Compiler Development

А я вот хотел написать, про последний ЯП ( в сравнении с наследниками Паскаля)

--

Ok: "риск дело благородное"

Ведь пока даже не ясно удастся ли на нём написать ОС? ( без unsafe опций языка)

Т.е. не написали ни одной.

(

Это всё я здесь и прочитал.

)

источник

20:14пожаловаться #6

KR

K R in Compiler Development

А зачем мне ее предсказывать? Мне интересна сама возможность писать программы с относительным удобством для bare metal-машин — то самое системное ПО старой школы.
Автор блога называет себя системным программистом и сокрушается, что в результате его анализа даже Zig недотягивает до Си — вот я и делюсь идеей сделать список компиляторов конкретно для bare metal-дел :)

Перечитал, прошу прощения - не совсем понял контекст.

Это разве не задача линковщика - выбрасывать ненужные вещи?

То есть, там нужна какая-то работа на уровне линковщика и рантайма, а не компилятора.

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

источник

20:25пожаловаться #7

VM

Victor Miasnikov in Compiler Development

Перечитал, прошу прощения - не совсем понял контекст.

Это разве не задача линковщика - выбрасывать ненужные вещи?

То есть, там нужна какая-то работа на уровне линковщика и рантайма, а не компилятора.

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

Нет уж: так мы выкидывая этап за этапом дойдём до lexer-а

( Почти шутка)

И, кстати, в Oberon-ах достаточно оригинальный linker-ы.

Т.е. здесь тоже "поле для сравнений"

источник

20:33пожаловаться #8

KR

K R in Compiler Development

Но что может сделать компилятор, если syscallы выдаёт runtime?

источник

20:36пожаловаться #9

2020 March 22

p

polunin.ai in Compiler Development

Хм, а как реализовывается модульность в языках? Лучшее что я придумал это:
1. Парсим файл.
2. Если есть декларация модуля, ищем файл с именем модуля, и повторяем шаг 1.
3. Добавляем всем идентификаторам внутри файла префикс topmodule::module::identifier
4. Скидываем все файлы в общую кучу и работаем как будто у нас один файл.

источник

00:33пожаловаться #10

p

polunin.ai in Compiler Development

Пытался найти как это реализовывается, но или этого нету, либо плохого искал

источник

00:34пожаловаться #11

IK

Ivan Kochurkin in Compiler Development

Алексей Запольский

Вот тут захотелось попросить Сергея взглянуть на мою грамматику языка Harbour(нынешнее расширение Clipper), тока там 1500 строк, и в лексере ключевые слова могут быть сокращены до 4х символов. Думаю ужаснет.

А можно на нее взглянуть?

источник

00:38пожаловаться #12

АЗ

Алексей Запольский in Compiler Development

А можно на нее взглянуть?

https://sourceforge.net/projects/harbour-language-analyzer/files/harbour-language-analyzer-files.zip/download
У меня была LR-грамматика для бизона, я её переделал.

источник

00:51пожаловаться #13

AT

Alexander Tchitchigin in Compiler Development

Хм, а как реализовывается модульность в языках? Лучшее что я придумал это:
1. Парсим файл.
2. Если есть декларация модуля, ищем файл с именем модуля, и повторяем шаг 1.
3. Добавляем всем идентификаторам внутри файла префикс topmodule::module::identifier
4. Скидываем все файлы в общую кучу и работаем как будто у нас один файл.

> Скидываем все файлы в общую кучу и работаем как будто у нас один файл

Так реализуется отсутствие модульности. 😊 Оно как раз и приводит к квадратичной сложности обработки файлов в некоторых случаях.

Посмотрите хотя бы как в Java сделано, если уж не заморачиваться как в SML.

источник

09:08пожаловаться #14

p

polunin.ai in Compiler Development

Alexander Tchitchigin

> Скидываем все файлы в общую кучу и работаем как будто у нас один файл

Так реализуется отсутствие модульности. 😊 Оно как раз и приводит к квадратичной сложности обработки файлов в некоторых случаях.

Посмотрите хотя бы как в Java сделано, если уж не заморачиваться как в SML.

Ну вот и у меня проблема возникла с поиском описания реализации

источник

10:52пожаловаться #15

FO

FORTRAN ONE LOVE in Compiler Development

Alexander Tchitchigin

> Скидываем все файлы в общую кучу и работаем как будто у нас один файл

Так реализуется отсутствие модульности. 😊 Оно как раз и приводит к квадратичной сложности обработки файлов в некоторых случаях.

Посмотрите хотя бы как в Java сделано, если уж не заморачиваться как в SML.

Зато проблема циклических зависимостей модулей решена!)

источник

10:53пожаловаться #16

AT

Alexander Tchitchigin in Compiler Development

Ну вот и у меня проблема возникла с поиском описания реализации

Ничего лучше, чем "посмотреть исходники" я предложить не могу. Разве что - посмотреть исходники какой-нибудь более простой и обозримой реализации, чем OpenJDK. 😊

источник

10:55пожаловаться #17

p

polunin.ai in Compiler Development

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

источник

10:55пожаловаться #18

AT

Alexander Tchitchigin in Compiler Development

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

Может, и есть, это я просто их не знаю. 🤷‍♀️

источник

10:57пожаловаться #19

AT

Alexander Tchitchigin in Compiler Development

Но я бы сейчас тупо вот эту модель реализовал для всего.

источник

10:58пожаловаться #20