Post #2479117

@MartinEscardo@mathstodon.xyz Sorry if the tone of this was overly confrontational; I didn't mean it that way but looking over it again I realize I wrote quite a rant. I think it's not an unreasonable idea in general: produce a correct by construction program from a short declarative spec, and then have a handwritten algorithm compare to that autogenerated one. It's just that in the specific case of parsers I happen to have a lot of opinions about the way I want mine to work, and this seems to be incompatible with existing parser generators.