[revelation]

From the readme, a workflow that doesn't make you want to kill yourself.

Also no generated code that requires extra build steps and instantly breaks platform compatibility. That said, inline grammar definition might not be for everyone.

[gopowerranger]

Hmm. So for people who don't know how to use Unix/flex/yacc?

This is just reinventing an existing wheel.

[gh02t]

I dunno that that's a fair criticism... by that same argument you could say yacc/bison is for people who don't know how to use C to write a parser. This looks like an attempt to do something along the lines of Parsec from Haskell, but in C.

Edit, because it looks like we hit the max reply depth: It's not like this is ever going to seriously replace Bison, I think it's just someone trying a different approach. It's not like flex/yacc/bison are the absolutely most perfect lexer/parser that can possibly exist. If people didn't try and reinvent the wheel every now and then, we'd still have stone wheels.

[gopowerranger]

But doing this in C already exists and works well. I don't understand the point of it. Although, in this day and age, rather than use the standard Unix toolset, people invent their own tools as if they are new. "Make" versus "npm" for example.

[slimsag]

Do you really think Make could replace npm?

[gopowerranger]

Make existed long before npm and make is the basis of all our package management in our company and our operating systems.

[sklogic]

Recursive descent parsing can handle different class of languages from what yacc or bison can do. It is possible to build lexerless parsers this way (so scrap your old useless flex).

[gopowerranger]

So your trying to say this thing does a better job?

[gh02t]

I seriously doubt it ever will, but you have to start somewhere.

I've used Parsec before and it is certainly nice. Honestly I think it's a bit weird to try and shoehorn it into C, but hey maybe something interesting will come out of it.

What bugs me is the suggestion that just because bison works well enough, nobody should try and make a new parser generator in C. They will probably not take over the wold, bison is big and battle tested after all, but bison is itself also a replacement for older tools. And hey, maybe mpc here will succeed and revolutionize parsing for the best; then we can have this discussion again in 20 years about someone attempting to replace it.

[sklogic]

It is different, targetting a different set of use cases.

[MichaelMoser123]

In yacc the generator will tell you about shift reduce conflicts. Once you have debugged the grammar the parser is likely to work. With parser combinators you have no such assurance - you don't know if your grammar has loops, the parser might get stuck easily while parsing. However for a simple and regular input language like sexpr everything is fine.

[sklogic]

In recursive descent you simply do not have any shift/reduce conflicts.

[MichaelMoser123]

you can have left recursion, or implicit left recursion in your recursive descent grammar, if you have then the parser gets stuck while parsing a clause that contains left recursion.

[sklogic]

Firstly, this have nothing to do with shift/reduce. Secondly, you can safely handle left-recursive grammars in Packrat (which, in turn, can be implemented with combinators).

[MichaelMoser123]

I didn't say that left recursion has anything to do with shift reduce conflicts. Please read again.

[mveety]

I know how to use lex/yacc. This is much better as lex/yacc are, frankly, miserable to use.