LISP

このエントリーをはてなブックマークに追加
510 ：仕様書無しさん：
>>492
正規順序: (λx. f(x)) ((λy. g(y)) C) ⇒ f((λy. g(y)) C) ⇒ f(g(C))
適用順序: (λx. f(x)) ((λy. g(y)) C) ⇒ (λx. f(x)) g(C) ⇒ f(g(C))
わかるかな?