Pratt parsing is a black box

For Pratt parsing as a component of a self-extensible language like this, it's worth checking out what Lean does. Most dependently typed languages require explicit forward declarations and other things that already force them to run in a single pass at the top level. In Lean's case, the top-level granularity is one…

I'm glad to see more explorations of Pratt parsing :-) And thanks for referring to previous writing, including my own! In the opening code snippet, I think a VERY important point is that both `nud()` and `led()` will typically call back into `expression()` (after the Pratt logic dispatches to the right one). There's…

I used Pratt parsing in the compiler for a macro-heavy language that I've been developing for almost a year before finally sitting down on my chair to write my thoughts on Pratt parsing. The code is closed right now because I don't want LLMs training on my code before the public release for 0.1, but what I can say is…