Мой вывод такой: в последнее время (5 - 10 лет) удивительно популярна идея переизобретения более-менее низкоуровневых околосистемных языков (Go, Rust, Swift, Zig, Jai и теперь Дрю ДеВольт тоже свой язык разрабатывает, похоже), но чтобы сделать это на уровне, адекватном современным GCC/LLVM со всем прилагающимся тулингом, нужно очень хорошо разбираться в этом самом тулинге и ABI, желательно, на нескольких платформах. Потому что радикально уменьшить сложность околосистемных языков и разработки эффективных программ - задача благородная и совершенно не лишняя, но, оказывается, далеко не вся сложность - случайная (accidental). Особенно, если хочешь переиспользовать чужие библиотеки, инструменты и вообще эффективно взаимодействовать со средой выполнения и разработчиками.

автор раста работает над свифтом; автор свифта является автором LLVM. Все там нормально с пониманием.

вот это прекрасно. Как я это пропустил?!

Ну, желающих изобрести свой язык всегда навалом. Только раньше народ двигался в сторону высокоуровневых (динамическая типизация, побольше сахара и т.д.) - теперь эта ниша заполнилась, тягаться с существующими вариантами объективно сложно, и поэтому народ налег на низкоуровневые языки, как раз из ложного убеждения что можно срезать accidental complexity

Я не имел в виду, что у всех перечисленных проектов плохо с пониманием. У меня вообще нет никакого мнения на этот счёт ибо не компетентен в вопросе. Это я "для будущих поколений" в части "шапкозакидательского" подхода.

А это тоже пропустили? https://nullprogram.com/blog/2020/01/21/
Но, справедливости ради, «виртуальный язык ассемблера» в golang у меня никогда энтузиазма не вызывал :)

Да не, с автором этого блога мы даже кое-что что вместе делали (https://nullprogram.com/blog/2017/02/14/), поэтому я слежу за ним подробно 😊

Мне кажется, очень интересно давать одну ссылку за другой :) Вторая — уже итог.

Ого! Здорово! :)

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

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

https://threadreaderapp.com/thread/1241150682104606720.html?refreshed=yes

🃏работку вам принёс

Что-то предложения какие-то однообразные :) Вот тогда еще одно, из другой области :)

"...we are offering an intern job position focusing on development of advanced compilers for multicore vector processors deployed in Xilinx devices.
By making these devices easier to program, this compiler will increase designer productivity and better enable portability to new architectures.
The research prototype will also leverage state of the art compiler frameworks, using LLVM and MLIR."

https://careers.xilinx.com/jobs/5115513-compiler-intern

В свете пред. обсуждения обратите внимание: "Experience with concurrent models of computation, e.g. Dataflow, Kahn Process Networks". Есть соблазн увлечься всякими изысками, теми же LVars, но при отсутствии знаний по классике, в духе процессов Кана, на собеседованиях это вас не спасет, подозреваю :)

Пару дней назад уже было

оу, правда, надо было поискать Facebook в чате 😐

Это не преступление же. 😊

Мелкое хулиганство :D

А есть какие-нибудь простые способы тестировать то,  что мне генерит antlr?

December, _2014_