Cryolite https://blog.hatena.ne.jp/Cryolite/ Cry's Blog https://blog.cryolite.net/ C++ LISP Template Metaprogramming Functional Programming C++ LISP (LISP だけじゃないけれど) テンプレート定義 引数として関数を受ける関数の定義 テンプレート定義内の依存名 関数内の自由変数名 依存名が実際に指しているもの 自由変数が実際に指しているもの 型 関数 テンプレートの Point of Definition 関数が実際に評価される場所 テンプレートの Point of Instantiation 関数引数を高階関数で束縛した場所 というアナロジーをでっち上げたとき， C++ の two-phase name lookup が取り扱っているのってよ〜するに LISP とかでいうところの環境問題 (downward funar… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.cryolite.net%2Fentry%2F20061214%2Fp1" title="Two-phase Name Lookup と Environment Problem - Cry&#39;s Blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-12-14 00:00:00 rich https://blog.cryolite.net/entry/20061214/p1 1.0 100%