Парсек (парсер) - Parsec (parser)

Парсек
Оригинальный автор (ы)Даан Лейен, Паоло Мартини, Антуан Латтер
Разработчики)Герберт Валерио Ридель, Дерек Элкинс, Антуан Латтер, Роман Чепляка, Райан Скотт
изначальный выпуск2 ноября 2006 г.; 14 лет назад (2006-11-02)[1]
Стабильный выпуск
3.1.14.0 / 10 августа 2019 г.; 15 месяцев назад (2019-08-10)[2]
Репозиторийgithub.com/ haskell/ парсек
Написано вHaskell
Операционная системаLinux, macOS, Windows
ПлатформаПлатформа Haskell
ТипКомбинатор парсеров, Библиотека
ЛицензияBSD-3
Интернет сайтвзлом.haskell.org/упаковка/ парсек

Парсек это библиотека для записи парсеры в Haskell.[3] Он основан на более высоком уровне комбинаторы парсеров, поэтому сложный синтаксический анализатор можно составить из множества более мелких.[4] Он был повторно реализован на многих других языках, включаяErlang,[5],Эликсир,[6],OCaml,[7] и F #,[8][9]а также императивные языки Такие как C #,[10] и Ява.[11]

Поскольку программа на основе синтаксического анализатора обычно работает медленнее, чем генератор парсеров -программа, Parsec обычно используется для небольших предметно-ориентированные языки, пока Счастливый используется для таких компиляторов, как GHC.[12]

Другие библиотеки комбинаторов синтаксического анализатора Haskell, унаследованные от Parsec, включают Megaparsec[13] и Аттопарсек.[14]

Парсек бесплатно программное обеспечение выпущен под лицензией BSD-3-Clause.[15]

Пример

Синтаксические анализаторы, написанные на Parsec, начинаются с более простых синтаксических анализаторов, таких как те, которые распознают определенные строки, и объединяют их для создания синтаксического анализатора с более сложным поведением. Например, цифра разбирает цифру и нить анализирует определенную строку (например, "Привет").

Библиотеки комбинаторов синтаксического анализа, такие как Parsec, предоставляют служебные функции для запуска синтаксических анализаторов реальных значений. Синтаксический анализатор для распознавания одной цифры из строки можно разделить на две функции: одну для создания синтаксического анализатора и главный функция, которая вызывает одну из этих служебных функций (разбирать в данном случае) для запуска парсера:

импорт Text.Parsec      - имеет общие служебные функции парсингаимпорт Text.Parsec.Char - содержит определенные базовые комбинаторытип Парсер = Транслировать s м Char => ParsecT s ты м Нитьпарсер :: Парсерпарсер = нить "Привет"главный :: IO ()главный = Распечатать (разбирать парсер "<тест>" "Привет, мир")- печатает "Правильно" привет "

Мы определяем Парсер type, чтобы сделать подпись типа парсер легче читать. Если бы мы хотели изменить эту программу, скажем, чтобы прочитать строку "Привет" или строка "до свидания", мы могли бы использовать оператор <|>, предоставленный Альтернатива typeclass, чтобы объединить два парсера в один парсер, который пытается либо:

парсер = нить "Привет" <|> нить "до свидания"

Рекомендации

  1. ^ "парсек 2.0". Взлом. Получено 3 сентября 2019.
  2. ^ «Релизы». Github. Получено 3 сентября 2019.
  3. ^ "Parsec на вики-сайте Haskell". Haskell Вики. Получено 29 мая 2017.
  4. ^ "Parsec: Комбинаторы монадического синтаксического анализатора прямого стиля для реального мира" (PDF). Microsoft Research. Получено 22 ноября 2014.
  5. ^ "Парсек Эрланг". BitBucket. Получено 23 ноября 2014.
  6. ^ "Шустрый парсек". Github. Получено 18 декабря 2018.
  7. ^ "Parsec OCaml" (PDF). Летний проект OCaml. Получено 23 ноября 2014.
  8. ^ "XParsec от корсиса". XParsec. Получено 29 мая 2017.
  9. ^ «FParsec». Quanttec. Получено 29 мая 2017.
  10. ^ "Монада CSharp". Github. Получено 10 декабря 2014.
  11. ^ «JParsec». Github. Получено 14 октября 2016.
  12. ^ "Компилятор Glasgow Haskell (AOSA Vol. 2)". Архитектура приложений с открытым исходным кодом. Получено 23 ноября 2014.
  13. ^ "мегапарсек: комбинаторы монадического синтаксического анализатора". Взлом. Получено 2018-09-10.
  14. ^ "attoparsec: быстрый синтаксический анализ комбинатора для строк байтов и текста". Взлом. Получено 2018-09-10.
  15. ^ https://github.com/haskell/parsec/blob/master/LICENSE

внешняя ссылка