Come with me as I explore different approaches to parsing in Unison! I'm prone to getting a little too wordy and going on tangents, so I will do my best to keep this focused and concrete. If you're reading this, the odds are high that you're familiar with most of what I'll be covering. This is written as a Unison transcript, which is really neat! There will also be Haskell code and possibly some C at some point. I will assume you have some experience with all of that, as well as some knowledge and practice when it comes to parsing. One last thing before we get to work -- I am a professional novice and you should not take what I say as authoritative. If I say something incorrect or make mistakes (especially likely when I talk about any of the formal basis for this stuff), please reach out!
Alright! Lets start with parser combinators! They're (deceptively) simple, powerful, well known, and ideal for a functional setting. I'm