チャーチ数について納得いく理解が得られなくてふと気になり調べていたら、Ruby1.9 のラムダさん 2 (SKI とチャーチ数 256) - 冬通りに消え行く制服ガールは、夢物語にリアルを求めない。 の表現でびっくりした。 i = -> x { x } >って演算子、rubyにあった…