Здравствуйте, Тролль зеленый и толстый, Вы писали:

ТЗИ>Указание имен в каком-то смысле эквивалентно введению подправил грамматики. Названия правил в описании грамматики могут говорить сами за себя (например, attrs), так что и без расшифровки понятно, что это. Если какой-то макрос упоминается только один раз (а таких случаев будет 99%), его можно явно не именовать.

Более того, можно не именовать явно даже макросы упоминающиеся несколько раз, они просто превратятся в одноименный массив. attr attr* тоже.

ТЗИ>По поводу пробелов (а точнее, разделителей, в которые входят также комментарии). Выписывать явно разделители, тем более с таким именем как "s" — явно некрасиво. Потому что в 99% случаев он будет нужен и только в 1% — не нужен. Скорее, было бы лучше, если бы макрос s вставлялся по умолчанию, если не вставлен кейворд nospace, например:

ТЗИ>

ТЗИ> '<' nospace identifier nospace '>'.
ТЗИ>

Отличная мысль, даже лучше чем rawsyntax.

ТЗИ>Еще с разделителями интересная вещь. Если я захочу добавить новый вид комментариев, значит мне как-то надо расширить макрос s? Значит, макросы можно будет определять более одного раза, расширяя их, так что ли?

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