Reminds me of parsec in Haskell: http://book.realworldhaskell.org/read/using-parsec.html