Parsec
From HaskellWiki
(adding link to parsec example page) |
(Changed division in (sub)sections, added section "Examples") |
||
| Line 1: | Line 1: | ||
| - | |||
| - | |||
[[Category:Compiler tools]] | [[Category:Compiler tools]] | ||
[[Category:Combinators]] | [[Category:Combinators]] | ||
| + | == Introduction == | ||
Parsec is an industrial strength, monadic parser combinator library for | Parsec is an industrial strength, monadic parser combinator library for | ||
Haskell. It can parse context-sensitive, infinite look-ahead grammars | Haskell. It can parse context-sensitive, infinite look-ahead grammars | ||
| Line 10: | Line 9: | ||
The latest stable release with Haddock documentation is available on [http://hackage.haskell.org/package/parsec Hackage] and development versions are [http://code.haskell.org/parsec3/ available via the darcs repository]. | The latest stable release with Haddock documentation is available on [http://hackage.haskell.org/package/parsec Hackage] and development versions are [http://code.haskell.org/parsec3/ available via the darcs repository]. | ||
| - | + | ||
| + | == Usage == | ||
Parsec lets you construct parsers by combining higher-order | Parsec lets you construct parsers by combining higher-order | ||
| Line 24: | Line 24: | ||
{{Template:Stub}} | {{Template:Stub}} | ||
| - | === Parsec clones in other languages | + | |
| + | == Examples == | ||
| + | * [http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours/Parsing Write Yourself a Scheme in 48 Hours/Parsing]. Note, that where the example uses the read function, the Token module of Parsec could have been used, to handle numbers. | ||
| + | |||
| + | See also the [http://bifunctor.homelinux.net/~roel/cgi-bin/hackage-scripts/revdeps/parsec-3.1.0#direct list of reversed dependencies for Parsec]. | ||
| + | |||
| + | |||
| + | == Parsec clones in other languages == | ||
* PCL for O'Caml http://lprousnth.files.wordpress.com/2007/08/pcl.pdf | * PCL for O'Caml http://lprousnth.files.wordpress.com/2007/08/pcl.pdf | ||
Revision as of 07:45, 25 September 2010
Contents |
1 Introduction
Parsec is an industrial strength, monadic parser combinator library for Haskell. It can parse context-sensitive, infinite look-ahead grammars but it performs best on predictive (LL[1]) grammars.
The latest stable release with Haddock documentation is available on Hackage and development versions are available via the darcs repository.
2 Usage
Parsec lets you construct parsers by combining higher-order Combinators to create larger expressions. Combinator parsers are written and used within the same programming language as the rest of the program. The parsers are first-class citizens of the language , unlike Happy parsers, which must be generated via a preprocessor.
An example for parsing a simple grammar of expressions can be found here.
Much more documentation can be found on the parsec website.
This article is a stub. You can help by expanding it.
3 Examples
- Write Yourself a Scheme in 48 Hours/Parsing. Note, that where the example uses the read function, the Token module of Parsec could have been used, to handle numbers.
See also the list of reversed dependencies for Parsec.
4 Parsec clones in other languages
- PCL for O'Caml http://lprousnth.files.wordpress.com/2007/08/pcl.pdf
- JParsec for Java http://jparsec.codehaus.org/JParsec+Overview
- NParsec, JParsec ported to C# http://jparsec.codehaus.org/NParsec+Tutorial
- Ruby Parsec, JParsec ported to Ruby http://jparsec.codehaus.org/Ruby+Parsec
- FParsec for F# http://www.quanttec.com/fparsec/
- Parsec-Erlang, http://bitbucket.org/dmercer/parsec-erlang/ is a faithful reproduction of Parsec in Erlang (there is also an older toy Parsec-like parser that isn't monadic, nor does it give error messages: http://www.engr.uconn.edu/~jeffm/Source/Erlang/)
- AliceParsec for Alice ML http://www.ps.uni-sb.de/alice/contribs.html
- Parsnip for C++ http://parsnip-parser.sourceforge.net/
- Somewhere there is a Nemerle port
- Pysec for Python http://www.valuedlessons.com/2008/02/pysec-monadic-combinatoric-parsing-in.html
- JSParsec for JavaScript: http://code.google.com/p/jsparsec/
Interesting non-Parsec parser combinator libraries:
- Spirit for C++ http://spirit.sourceforge.net/documentation.html
