Compile-time Garbage Collection

C++ LISP Template Metaprogramming Functional Programming ネタ

つまりですねぇ，型をあるスコープ内で定義して，かつその型をそのスコープの外に返せるようにするには， (upward funarg problem を解決するために) LISP 同様 compile-time GC が要るんじゃないのかなぁ〜，なんてめがっさ思わないっかなー？
ま〜，全部グローバルに持っちゃえよってオチなんだけれど．