This is a great article (I haven't written a compiler in years but was still able to follow along) that can easily suck up an evening of descending his explanat

This is a great article (I haven'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's a good thing. Favorite new trivia bit: "C++ has an even more extreme version of this problem since type/variable disambiguation could require arbitrary amounts of template instantiation, and therefore just parsing C++ is technically undecidable (!!)"