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

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

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

なぜか突然 SICP の Exercise のメモ．全然ブログのネタにしてなかったけれど http://d.hatena.ne.jp/Cryolite/20050714#p1 以来，鋭意継続中．目指せ全 Exercise 制覇．というか SICP はタダで全文見られるので，実はこれ結構面白い企画なのではないかと思…

何かいつの間にか仕事場でSICP読むとかいう話になってる． 「あっそー．とりあえず頭数に入れといてー．」 とかそっけなく返事しておきつつ，内心"Multiparadigm Programming in C++"な方向でジャックしてやろーかしら，とか企んでたり．ひひひひひ． とゆー…