あれ？上のアナロジーに従ったとき， LISP における「そのスコープ内に関数定義を持った関数」って C++ の側ではどーなるんだ？「そのスコープ内に型定義を持った型」？それよ〜するにネストしたクラス定義を持つクラス？

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

C++ LISP (LISP だけじゃないけれど) テンプレート定義 引数として関数を受ける関数の定義 テンプレート定義内の依存名 関数内の自由変数名 依存名が実際に指しているもの 自由変数が実際に指しているもの 型 関数 テンプレートの Point of Definition 関数…