SKIコンビネータでSKK = I(Ruby版)そのいち
Rubyで書くとこんな感じかな。カリー!! カリー!!
I = lambda {|x| x } K = lambda {|x| lambda {|y| x }} S = lambda {|x| lambda {|y| lambda {|z| x[z][y[z]] }}} p S[K][K][100] == I[100] # => true
Rubyで書くとこんな感じかな。カリー!! カリー!!
I = lambda {|x| x } K = lambda {|x| lambda {|y| x }} S = lambda {|x| lambda {|y| lambda {|z| x[z][y[z]] }}} p S[K][K][100] == I[100] # => true