<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> Maybe I'm misinterpreting something, but to be honest, I have seen a few metacircular evaluators (McCarthy's, the one from SICP, the one from Dybvig's dissertation, the one from Webyrd's PWL talk, the one from "Lisp in Small Pieces", and the CPS progression that Jason Heman presented at this year's Scheme Workshop), and I don't think I have ever seen one with explicit parsing stage.</p><p>If you have some pointers that would show the benefits of explicit parsing, I'd be grateful if you could share them.</p><p>(I think that Mark Tarver had an explicit typecheking step in his Read-Typecheck-Eval-Print loop in "The Book of Shen", but I'm not sure there was any specific parsing involved. On the other hand, I have seen AST module for Python, with all expression classes explicitly defined, and I even tried working with it, but that was terrible)</p>
