Parsing in Clojure via a Backtracking State Monad(brehaut.net)
brehaut.net
Parsing in Clojure via a Backtracking State Monad
http://brehaut.net/blog/2010/ghosts_in_the_machine
4 comments
there is a port of haskell parsec library to clojure at http://github.com/mmikulicic/clarsec/
There is also another parser combinator library called fnparse at http://github.com/joshua-choi/fnparse
another one in http://kotka.de/projects/clojure/parser.html, also using the same nomenclature as in Parsec. Very nice but the sources are unreachable.
I wrote clarsec because I was in hurry and the "kotka"'s sources weren't available.
I wrote clarsec because I was in hurry and the "kotka"'s sources weren't available.
(def parse-number (domonad [sign (optional parse-sign "+") [type digits] (choice parse-integer parse-float) _ eof] [type (apply str (cons sign digits))])))
The fact that you can fail on the eof and backtrack into the choice (if it is possible) is the main advantage. It lets you lay out your parser in a logical way.