- 536 名前：デフォルトの名無しさん mailto:sage [2006/12/06(水) 11:16:07 ]
- （λ計算の）λ式において関数抽象 λ は結合がゆるく，関数適用は結合がきつくて左結合
さらに λxy.M は λx.(λy.M) の略記
だから λxyz.MNO = λx.(λy.(λz.MNO)) = λx.(λy.(λz.((MN)O)))
λ計算ではCurry化は当たり前のように使われるけど，
SchemeにはCurry化がないから ; つまり (lambda (x y) ...) != (lambda (x) (lambda (y) ...))
λ計算の実例としては不適当
有名な "SKK = I" を試そうとS, Kを定義して ((S K K) 'x) とやっても途中で「引数が足りません」になっちゃうね
Curry化のあるOcamlかHaskellをお薦めする
ここにはλ計算を知ってる人が多いのは確かだと思うよ
