&gt; <i>these types of data structures are not possible in C++ as they are in other languages, due to lack of GC or tail recursion[0]</i><p>The link doesn&#x27;t really explain <i>why</i> though. I mean, I&#x27;m willing to believe this is true until proven otherwise - it&#x27;s safe to assume Milewski knows what he&#x27;s talking about - but I&#x27;d love to see a proper explanation.