Haskell Parser Комбинаторы

Question

Я читал много о Haskell комбинаторы синтаксического анализа и нашел много тем, как:

• Parsec vs Yacc/Bison/Antlr: Why and when to use Parsec?
• Which Haskell parsing technology is most pleasant to use, and why?
• Parsec or happy (with alex) or uu-parsinglib
• Choosing a Haskell parser
• What is the advantage of using a parser generator like happy as opposed to using parser combinators?

Но все эти темы сравниваются Parser Combinators с Parser Generators.

Я хочу спросить вас, какие из Parser Combinator костюмов лучших следующие условий:

1. Я хочу, чтобы иметь хороший контроль над об ошибках (включая исправление ошибок) и сообщения для пользователя
2. Я хочу чтобы иметь возможность кормить синтаксический анализатор небольшими частями текста (не весь файл сразу)
3. Я хочу, чтобы у меня была возможность правильно переработать грамматику (в настоящее время я разрабатываю грамматику, так что «хороший ваф работы» важен "
4. Окончательный парсер должен быть быстрым (производительность важна, но не такая, как точки 1-3).

Я обнаружил, что наиболее популярные комбинаторы синтаксического анализа являются:

• Parsec
• uu-parsinglib
• attoparsec

Answer 1

Я бы сказал определенно пойти с Parsec, Heres почему:

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

Мой опыт использования библиотек-комбайнов синтаксического анализа заключается в том, что на самом деле легко проверить отдельные части парсеров либо в GHCi, либо в тестах, так что на втором этапе все они удовлетворены. Наконец, Attoparsec и Parsec довольно хороши.

И наконец, Parsec был почти дольше и обладает множеством полезных и расширенных функций. Это означает, что общая ремонтопригодность будет проще, больше примеров в Parsec, и больше людей знакомы с ней. uu-parsinglib определенно стоит времени для изучения, но я бы предположил, что знакомство с Parsec первым - лучший курс по этим причинам. (Алекс также самый рекомендуемый лексер для использования с Parsec или иным образом, но я не использовал его сам.)