Size: a a a

Compiler Development

2020 May 04

VS

Vasily Shapenko in Compiler Development
Victor Miasnikov
Да, так и есть.

Но, факт, что конкретный специалист выбрал конкретный инструмент - тоже есть.

--

Про Ada:
1) в сфере ПО на АЭС её нет.
2) перспективы появления - малы.

( источник - тот же)
Ну тут всегда встаёт вопрос bus factor - если со специалистом что случится, кто будет эту с промышленной точки зрения эзотерику поддерживать?
источник

PS

Peter Sovietov in Compiler Development
А с точки зрения нашего чата Оберон хорош, как учебный язык (которым он, собственно, и задумывался), на котором можно поупражняться в создании несложных компиляторов. Но в качестве языка реализации компилятора он — неудачный вариант. Слишком низкоуровневый, отсутствуют развитые средства абстракции (там, по большому счету, средство одно — генерация Оберон-кода). Поэтому настоящий специалист (все еще присутствующий в чате?) по Оберону в свое время с легким сердцем перешел на другие ЯП для создания компиляторов :)
источник

VM

Victor Miasnikov in Compiler Development
Peter Sovietov
А с точки зрения нашего чата Оберон хорош, как учебный язык (которым он, собственно, и задумывался), на котором можно поупражняться в создании несложных компиляторов. Но в качестве языка реализации компилятора он — неудачный вариант. Слишком низкоуровневый, отсутствуют развитые средства абстракции (там, по большому счету, средство одно — генерация Оберон-кода). Поэтому настоящий специалист (все еще присутствующий в чате?) по Оберону в свое время с легким сердцем перешел на другие ЯП для создания компиляторов :)
Вы удивитесь, но на forum.oberoncore.ru и это обсуждали.

( я даже позволил себе привести там некоторые цитаты из нашего чата. Надеюсь, никто не возражает?.. )
источник

PS

Peter Sovietov in Compiler Development
Vasily Shapenko
Ну тут всегда встаёт вопрос bus factor - если со специалистом что случится, кто будет эту с промышленной точки зрения эзотерику поддерживать?
К сожалению, это довольно часто встречающийся сюжет. Разработчик приходит к начальнику и, дрожа от возбуждения, начинает рассказывать про секретный и волшебный ЯП, информацию о котором замалчивают некие "они", которым "это невыгодно"... :)
источник

А

Алексей in Compiler Development
да что вы носитесь с этим обероном? обычный виртовский язык
источник

А

Алексей in Compiler Development
ничего сверхъестественного
источник

VS

Vasily Shapenko in Compiler Development
Религия - материя деликатная
источник

VM

Victor Miasnikov in Compiler Development
Правильно замалчивают: борьба с безработицей, например.

( это цитата: про борьбу)

--

Так про обыкновенность никто не отрицает.

Не было бы информации о визите Н.Вирта в РФ, я про его пост-Modula-2 проекты и не узнал бы.

И про  GC в компилируемых языках.

( правда это было лет 10-15 назад)

Т.е. польза от "в некотором роде, продвижении товара" есть.

Как и объективные достоинства "товара". И сфера применения.
источник

PS

Peter Sovietov in Compiler Development
А как же известный учебник Кауфмана по языкам программирования? Вот это была первая массовая реклама Оберона на русском языке с попыткой осмысления принципов проектирования ЯП: "принцип сундука" ,"принцип чемоданчика"... У меня эта книга на полке стоит, купил в середине 90-х, ничего похожего в то время от русскоязычных авторов просто не было :)
источник

VM

Victor Miasnikov in Compiler Development
Это, фактически, конспект его лекций в МГУ.

( лично я "вышел" на книгу с сайта...
Все уже догадались -)

И, несколько позже )
источник

YS

Yaroslav Schekin in Compiler Development
> А европейцы в каких-то космических проектах даже Tcl использовали! %)

https://wiki.tcl-lang.org/page/International+Space+Station
https://wiki.tcl-lang.org/page/National+Aeronautics+and+Space+Administration

Кстати (оттуда же), про то, насколько язык подходит для каких-то задач:

The itcl prototype was not intended to be a prototype, it was intended to be candidate flight code and candidate ground control and monitoring software. However, when we started doing careful testing, with the (eventually achieved for LoD compliant code) goal of exhaustive testing, the interpretive nature of Tcl meant we had to not only test all codepaths and values, but also all types and combinations thereof. That was simply too tough.
источник

V

Vlad in Compiler Development
Дабы снять некий налет элитарности с Оберона, который обычно напускают его религиозные свидетели... А так же чтобы дать возможность всем посмотреть и пощупать на что похоже простота и надежность в коде самого Вирта, оставляю вот эту ссылку:
http://www-oldurls.inf.ethz.ch/personal/wirth/ProjectOberon/Sources/ORP.Mod.txt
Найдите "PROCEDURE StandFun" и попробуйте догадаться откуда приходят волшебные константы от 0 до 20. Удачи.
А для самых умных - ответьте на вопрос: как поведет себя компилятор, если в "fct" окажется 21.
источник

V

Vlad in Compiler Development
Самый свежак - последний апдейт от 8 марта, судя по камменту.
источник

VM

Victor Miasnikov in Compiler Development
Vlad
Дабы снять некий налет элитарности с Оберона, который обычно напускают его религиозные свидетели... А так же чтобы дать возможность всем посмотреть и пощупать на что похоже простота и надежность в коде самого Вирта, оставляю вот эту ссылку:
http://www-oldurls.inf.ethz.ch/personal/wirth/ProjectOberon/Sources/ORP.Mod.txt
Найдите "PROCEDURE StandFun" и попробуйте догадаться откуда приходят волшебные константы от 0 до 20. Удачи.
А для самых умных - ответьте на вопрос: как поведет себя компилятор, если в "fct" окажется 21.
У вас Oberon-07 ( или предшественник).

У Дм.Дагаева - другие представители семейства.

( Оберонов - их много.)
источник

PS

Peter Sovietov in Compiler Development
Vlad
Дабы снять некий налет элитарности с Оберона, который обычно напускают его религиозные свидетели... А так же чтобы дать возможность всем посмотреть и пощупать на что похоже простота и надежность в коде самого Вирта, оставляю вот эту ссылку:
http://www-oldurls.inf.ethz.ch/personal/wirth/ProjectOberon/Sources/ORP.Mod.txt
Найдите "PROCEDURE StandFun" и попробуйте догадаться откуда приходят волшебные константы от 0 до 20. Удачи.
А для самых умных - ответьте на вопрос: как поведет себя компилятор, если в "fct" окажется 21.
Но там же простая арифметика: n = procno*10 + nofpar  %)
источник

E

Eugene in Compiler Development
Victor Miasnikov
У вас Oberon-07 ( или предшественник).

У Дм.Дагаева - другие представители семейства.

( Оберонов - их много.)
но всех их объединяет общая родовая травма — отсутствие перечислимого типа, которым Вирт пожертвовал в угоду простоте языка — ведь их можно сымитировать расширяемыми записями и ветвлением по типам...

правда, почему-то сам Вирт этот механизм не задействовал в своём же компиляторе...
источник

V

Vlad in Compiler Development
Peter Sovietov
Но там же простая арифметика: n = procno*10 + nofpar  %)
Вы приняты! (с) :)
источник

PS

Peter Sovietov in Compiler Development
Vlad
Вы приняты! (с) :)
Еще в каком-то тексте Вирта по компилятору Оберона помню забавное ограничение на кол-во аргументов функции :)
источник

V

Vlad in Compiler Development
Peter Sovietov
Еще в каком-то тексте Вирта по компилятору Оберона помню забавное ограничение на кол-во аргументов функции :)
Конкретно в O7 будет много забавных ограничений вследствие отсутствия динамических массивов/строк. Но компилятор слепить вполне можно. Идентификатора длиной в 32 символа хватит всем. А если не хватит, то проверка выхода за границу массива нас спасет. Надежно. Главное на АЭС не компилировать.
источник

VM

Victor Miasnikov in Compiler Development
Eugene
но всех их объединяет общая родовая травма — отсутствие перечислимого типа, которым Вирт пожертвовал в угоду простоте языка — ведь их можно сымитировать расширяемыми записями и ветвлением по типам...

правда, почему-то сам Вирт этот механизм не задействовал в своём же компиляторе...
Есть "кузен Оберонов" - Modula-3.
Ещё не проверял, но там должны были уцелеть.

( там многое из Modula-2 уцелело)
источник