LINUX.ORG.RU

История изменений

Исправление Shushundr, (текущая версия) :

Как бы вы сделали эту часть грамматики контекстно-свободной, если бы дизайнили ЯП с нуля? Ваши идеи?

Есть символы для обозначения шаблонов, есть символы для обозначения операций. Символы совпадают и это вызывает проблему. Решение - используйте разные символы, они совпадать не будут и проблема не возникнет.

foo«a»(b); // шаблон  
foo<a>(b); // сравнение  

UPD: прочитал тему, это уже трёхкратный баян

Исходная версия Shushundr, :

Как бы вы сделали эту часть грамматики контекстно-свободной, если бы дизайнили ЯП с нуля? Ваши идеи?

Есть символы для обозначения шаблонов, есть символы для обозначения операций. Символы совпадают и это вызывает проблему. Решение - используйте разные символы, они совпадать не будут и проблема не возникнет.

foo«a»(b); // шаблон
foo(b); // сравнение