Difference between revisions 73480 and 73481 on ruwikibooks

next diff >
Монадические комбинаторы парсеров
{{Информация об авторе|Грэм Хаттон (Graham Hutton)|Университет Ноттингема, Великобритания|[mailto:[email protected] [email protected]]|[http://www.cs.nott.ac.uk/~gmh Личная страница Грэма Хаттона]}}

==Предисловие==

(contracted; show full)

Рассматривая монадный метод дальше, монады парсеров могут быть выражены в модульном виде через две более простые монады. Непосредственная выгода состоит в том
, что основные парсерные комбинаторы не нужно больше определять явно. Предпочтительно они возникают автоматически как специальный случай поднимающих операций монады от основной монады m к некоторой другой монаде параметризованной над m. Это означает так же  , что если мы изменяем природу парсера модификацией основной монады (  например, ограничивая парсер только на создание одного результата  ), тогда новые комбинаторы для модифицированной монады парсера также возникают через поднимающую конструкцию.

Цель данной статьи состоит в том, чтобы дать пошаговое руководство в монадном методе построения функциональных парсеров, и объяснить некоторые преимущества использования монад. Большинство материала уже известно. Наш вклад состоит в организации материала в консультативную статью, введение новых комбинаторов для обработки лексических вопросов без отдельного лексического анализатора и новом методе вы(contracted; show full)functional programming.
Wadler, Philip. (1992a). The essence of functional programming. Proc. principles of
programming languages.
Wadler, Philip. (1992b). Monads for functional programming. Broy, Manfred (ed), Proc.
Marktoberdorf Summer school on program design calculi. Springer{Verlag.

[[Категория:Функциональное программирование]]
[[Категория:Статьи по функциональному программированию]]