PARSEC výrazy¤
Skupina Parsec výrazů představuje koncept parser combinator.
Poskytují způsob, jak kombinovat základní parsery za účelem konstrukce složitějších parserů pro specifická pravidla. V tomto kontextu parser je funkce, která přijímá jediný řetězec jako vstup a produkuje strukturovaný výstup, který indikuje úspěšné zpracování nebo poskytuje chybovou zprávu, pokud proces zpracování selže.
Parsec výrazy jsou rozděleny do dvou skupin: parsery a kombinátory.
Parsers mohou být považovány za základní jednotky nebo stavební bloky. Jsou odpovědné za rozpoznávání a zpracování specifických vzorců nebo prvků v rámci vstupního řetězce.
Combinators jsou operátory (funkce vyššího řádu), které umožňují kombinaci a skládání parserů.
Každý výraz začíná prefixem !PARSE.