高階
言われれば当然だが、Polish Notation 使うと括弧がいらない、と思い込んでいたが、型付けされていない lambda 計算ではばりばりいるのね。スタックを積むべきか、演算するべきかが毎回判断できないから higher order だと話が変わるのは当然か。
K K a b と K (K a) b と K (K a b) はぜんぜん違う。
http://www.angelfire.com/tx4/cus/combinator/birds.html
言われれば当然だが、Polish Notation 使うと括弧がいらない、と思い込んでいたが、型付けされていない lambda 計算ではばりばりいるのね。スタックを積むべきか、演算するべきかが毎回判断できないから higher order だと話が変わるのは当然か。
K K a b と K (K a) b と K (K a b) はぜんぜん違う。
http://www.angelfire.com/tx4/cus/combinator/birds.html