This is a great article (I haven&#x27;t written a compiler in years but was still able to follow along) that can easily suck up an evening of descending his explanatory links. That&#x27;s a good thing.<p>Favorite new trivia bit:<p>&quot;C++ has an even more extreme version of this problem since type&#x2F;variable disambiguation could require arbitrary amounts of template instantiation, and therefore just parsing C++ is technically undecidable (!!)&quot;