<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> More substantially, I don't understand how this definition of “bicameral syntax” rules out any language with any separate static analysis pass (scope checking, type checking, &c). It looks to me like we can recast what is traditionally known as the “parser” as the reader, and the static analysis passes as the parser.</p>
