+

Вопроса "почему выбирают "скриптовые" языки" никто не задавал.

Дождетесь вот, когда появится у вас вопрос по компиляторной тематике, то в чате не останется уже ни одного профессионала, который сможет на него компетентно ответить (новички: "а, типа, они здесь были, да? Мы думали здесь можно просто пофлеймить, если из чатов по Rust или C++ выгнали..."). :)

А что, ещё кто-то ушёл из чата?! 😱

Ну, можно сделать перекличку. Все ли сотрудники из Huawei, JetBrains, Oracle, Microsoft, Intel, МЦСТ, Positive Technologies, Raincode Labs... присутствуют :)

к своему стыду не знаю чем знаменита Raincode Labs ("the largest independent compiler company in the world")?

Лучше устроим "проверку на дорогах".

Вопрос "по компиляторной тематике":

at 20??-12-22 Peter Sovietov say:
==
Так ведь в очень многих компиляторных проектах на Си есть внешний DSL для описания правил локальной оптимизации и для выбора команд. В свое время популярен был iburg https://github.com/drh/iburg
Кстати, первоначальная версия iburg написана на ICON, который является развитием того самого SNOBOL из 1962 года :)
==

В XDS Modula-2/Oberon как раз он ( модифицированный)

Не ясно есть ли "в природе" готовая  грамматика для x64.

Вернее в winlcc, скорее всего, есть.
Но исходные коды не опубликованы.

Они занимаются разработкой инструментов для модернизации ПО.

https://scholar.google.com/citations?hl=ru&user=Ycwf7Z4AAAAJ&view_op=list_works&sortby=pubdate

Возможно, присутствующий здесь Вадим Зайцев расскажет подробнее :)

А чего это Вы меня цитируете без указания авторства? :)

Вопрос в том, нужен ли Вам этот BURG на самом деле? Вот недавно уже была небольшая дискуссия на тему выбора команд. В реальности подход на основе динамического программирования вовсе не так распространен, как хотелось бы теоретикам.
И здесь у BURS/BURG-подобных генераторов участь примерно такая же, как у lex/yacc.
В том же LLVM используется жадный выбор. А Клифф Клик жалеет, что использовал BURS в C2 :)



Но у академиков BURG-подобные технологии, конечно, развиваются. Понимаю, что Вам хочется готовое средство, но даю ссылку для полноты картины:
http://www.complang.tuwien.ac.at/papers/thier+18.pdf

(

 По авторству: чисто технически было несколько утомительно пролистывать до 22 декабря.

И немного деталей в л.сообщениях

P.S. исправил
)

Мне нужна x64 кодогенерация для XDS. В XDS - BURG.

Подходу burs много лет.

Раз я не нахожу нужную грамматику - значит выбираю не те фразы в поисковых машинах.

(

Или нет?

Желательно бы знать точно.

)

По проблематике динамических и статических языков:

Достаточно интересный анализ практических аспектов был сделан доктором наук Тереховым.

Имено он занимался компилятором Алгол-68 в СПб.

(

Кратко: "подмножество всевозможных ЯП", в составе: Algol-68, Modula-2, ещё что-то, позволяло возложить на компилятор обеспечение безопасности.

PL/1, Си - нет.

Динамические языки - допускались после тщательно выверенного программирования на статических.

)

"Проблематику динамических и статических языков", на мой взгляд, имеет смысл обсуждать в контексте построения компиляторов, выбора соотв. языка реализации.
Я все время повторяю, любой ваш оффтопик можно превратить в интереснейшее обсуждение по компиляторной тематике, надо лишь проявить немного фантазии ;)

Скрипты маленькие и почти без ветвлений. Один запуск программы почти целиком её проверяет.

Это для Вас (и ещё некоторых) оно "интереснейшее по компиляторной тематике", а для оффтопящих - интересно так как они оффтопят.

Ну, ну: недавно один маленький скрипт читал не только дочерние подкаталоги, но и каталог-"брат".

Голова нужна не только для того, чтобы в неё есть, но и чтобы выбирать инструмент под задачу.

Скрипты можно писать на Ocaml, например.

Терехов, надеюсь, по теме?

Переспросите у админов. 😉

Скрипт - не мой.

(

Мои .bat файлы были вполне работоспособны. Правда, др.тематика

)

Терехов писал докторскую до пика популярности "слегка критикуемого" им.

Уже в интервью на Хабре эта тематика "испарилась"

Создатель Wren пишет, что это Io и Ruby до версии 1.8.7 включительно.
http://wren.io/performance.html