[C++] Чего вам нехватает в языке?

> Поэтому нужен достаточно мощный язык, в который DSL-и будут удобно встраиваться БЕЗ его перекорёживания.

Да, именно это и нужно.

Еще желательно чтобы какая-то информация (хотя бы об AST, приоритетах) была доступна (взглядом) даже тому, кто не знает сам DSL. Т.е. изменяемый синтаксис не мог разрушить все до основания.

Еще желательно чтобы какая-то информация (хотя бы об AST, приоритетах) была доступна (взглядом) даже тому, кто не знает сам DSL. Т.е. изменяемый синтаксис не мог разрушить все до основания.

В общем, язык может быть любым, если это Хаскель.

> В общем, язык может быть любым, если это Хаскель.

В общем, язык может быть любым, если в нем можно устоить Хаскель как embedded DSL. // FIXED

* устроить

> Еще желательно чтобы какая-то информация (хотя бы об AST, приоритетах) была доступна (взглядом) даже тому, кто не знает сам DSL

С листа? На бумаге? Или только после часового мышевозюканья поверх кода?

Если первое, то тогда никакого DSL и быть не может и не должно. Если второе, то играйте лучше сами в эти ваши игры, а все остальные уж как-то обойдутся.

Если первое, то тогда никакого DSL и быть не может и не должно.

Опять-таки: библиотека C-шных функций вполне может рассматриваться как некоторого рода DSL. Проблема в том, что такой DSL будет либо немыслимо громоздким, либо чрезвычайно слабеньким.

Но главное, он будет читабельным и поддерживабельным. И поймет его каждый, кто знает Си.

Что невозможно с DSL, полученным расширением языка.

>Но главное, он будет читабельным и поддерживабельным. И поймет его каждый, кто знает Си.

Что невозможно с DSL, полученным расширением языка.

Неправда. Не будет он читабельным. И не поймет его сходу никто. Толку от того, что ты знаешь, что в месте Х вызов функции Y нету никакого. Нужно будет либо долго вникать в реализацию всех функций либы либо читать доки по либе. И то и другое можно делать и с DSL, только вот DSL есть шанс сделать менее грамоздким.

Что невозможно с DSL, полученным расширением языка.

И мы возвращаемся к моему исходному тезису: язык должен быть таким, чтобы DSL могли ложиться в него, не требуя расширения.