2012-05-07から1日間の記事一覧

第12章 遅延評価 #3

問題文だけ転記。 12.9 練習問題 以下の式において、簡約可能式はどこか?また、選び出した簡約可能式が、最も内側か、 最も外側か、両方か、いずれでもないかを考えよ。 1+(2*3) (1+2)*(2+3) fst (1+2, 2+3) (λx→1+x) (2*3) 式 fst (1+2, 2+3) を評価する際…