(define a (lambda (x) (lambda (y) (+ x y)))みたいな関数aがあって、xを固定して一変数の新しい関数を返すとき、(define (b y) (a 5)) としなければならないと勘違いしてたと書きましたが、それがどういう事態を引き起こしていたか、改めて考えた。(a 5) …

Church数の引き算について、同じ疑問を持った人がいた。 http://www5d.biglobe.ne.jp/~y0ka/2006-07-31-6.htmlそれによるとWikipedediaに載ってるらしい。Church数の1引く関数 pred ≡ λn.λf.λx. n (λg.λh. h (g f)) (λu. x) (λu. u) -- (1)うむ。記号の意味…