Выбор парсера Haskell

Question

В Хаскеле есть много открытых реализаций парсера . Parsec кажется стандартом для разбора текста, а attoparsec , кажется, популярным выбором для двоичного разбора, но я не знаю многого из этого.Есть ли конкретное дерево решений, которое вы используете для выбора реализации парсера?Вы узнали что-нибудь интересное о сильных или слабых сторонах библиотек?

Answer 1

У вас есть несколько хороших вариантов.

Для облегченного анализа типов String:

• парсек
• polyparse

Для анализа упакованных тестовых строк, например, из заголовков HTTP .

• attoparsec

Для реальных двоичных данных большинство людей используют либо:

• двоичный - для ленивого двоичного разбора
• хлопья - для строгого двоичного разбора

Главный вопрос, который нужно задать себе, - это какой тип строки лежит в основе?

• Строка
• bytestring (строго)?
• bytestring (ленивый)?
• Юникод Текст

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

Второй вопрос, который нужно задать: у меня уже есть грамматика для типа данных? Если это так, я могу просто использовать счастливый

• Генератор Happy parser

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

• XML
  • haxml
  • XML-свет
  • HXT
  • hexpat
• CSV
  • байтовой строки-CSV
  • CSV
• JSON
  • * 1103 JSON *
• RSS / Atom
  • подача

Answer 2

Просто добавлю к сообщению Дона: Лично мне очень нравится Text.ParserCombinators.ReadP (часть базы) для быстрой и простой вещи. Особенно, когда Parsec кажется излишним.

Существует библиотека bytestringreadp для версии bytestring, но она не охватывает строки байтов Char8, и я подозреваю, что attoparsec будет лучшим выбором на этом этапе.

Answer 3

Я недавно преобразовал некоторый код из Parsec в Attoparsec.Оба вполне способны.

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

Answer 4

Сообщение в блоге Брайана О'Салливана Что в парсере?Attoparsec rewired (2/2) включает в себя хороший тест производительности, сравнивающий несколько реализаций, а также некоторые комментарии, сравнивающие использование памяти.