Я пишу парсер выражений для приложения, написанного в основном в Scala. Я построил объекты AST в Scala, и теперь вам нужно написать синтаксический анализатор. Я слышал о Scala встроенных комбинаторах парсеров, а также ANTLR3, и мне интересно: что обеспечило бы лучшую производительность и удобство написания кода? До сих пор:
Преимущества ANTLR
ANTLR cons
Parser combinator pros
Комбинировщик парсера
Любые мысли?
EDIT: Этот синтаксический анализатор анализирует выражения алгебраического/исчисления. Он будет использоваться в приложении Magnificalc для Android, когда он будет завершен.
Scala не очень эффективны. Они не были предназначены. Они хороши для выполнения небольших задач с относительно небольшими затратами.
Так что это действительно зависит от ваших требований. Между ANTLR не должно быть проблем с взаимодействием. Вызов Scala из Java может быть волосатым, но вызов Java из Scala почти всегда работает.
Я бы не стал беспокоиться о ограничениях производительности комбинаторов парсеров, если вы не планируете анализировать алгебраические выражения, которые составляют несколько страниц. В книге программирования Scala упоминается, что более эффективная реализация комбинаторов парсеров возможна. Может быть, кто-то найдет время и энергию, чтобы написать его.
Я думаю, что с ANTLR вы говорите о двух дополнительных шагах сборки: ANTLR компилируется в Java, и вам нужно скомпилировать как Scala, так и Java для байт-кода, а не просто Scala.
Я создал внешние DSL как с ANTLRv4, так и с компиляторами Scalas parser, и я явно предпочитаю комбинаторы парсеров, потому что вы получаете отличную поддержку редактора при разработке языка, и очень легко преобразовать результаты анализа в любую структуру данных класса АСТ. Разработка ANTLR-грамматик занимает гораздо больше времени, потому что даже при поддержке редактора ANTLRWorks разработка грамматик очень подвержена ошибкам. Весь рабочий процесс ANTLR выглядит довольно раздутым для меня по сравнению с одним комбинатором синтаксического анализатора.
Я был бы склонен попытаться создать внешний DSL с использованием комбинаторов парсера. Он не должен быть внутренним DSL. Но я не знаю, что было бы лучше.
Лучшим подходом к выяснению этого было бы использование упрощенной версии грамматики, попробуйте обеими способами и оценить различия.