- 357 名前：デフォルトの名無しさん mailto:sage [2009/05/26(火) 02:11:57 ]
- >>350
関数や関数へのポインタを扱える言語、
無名関数を扱える、動的に生成できる言語だと
引数だけじゃなくて、「関数」評価もちょっと意味が変ってきますよね。
Super Combinatorのグラフ簡約で考えると分かりやすいので、
Simon Peyton Jonesの"The Implementation of Functional Programming
Languages"を読んでみてはどうでしょうか。
research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/index.htm
