Re:いまだにラムダ計算がわかりません (#1472952) | 「Rubyで作る奇妙なプログラミング言語 ～Esoteric Language～」 発売 | スラド

よっしゃ、リンゴとバナナね。 おいしい果物に置き換えれば、 小難しいラムダ算法も簡単になるに違いない! そもそも、ラムダ算法の教科書なんか眺めても、なんだか意味がわからないし。 どれどれ、例えば、こんなことが書いてあるぞ……。 ラムダ算法では、Church booleanを用いて、論理値を以下の様に表わせる。 TRUE := λ x y. x FALSE := λ x y. y すると論理演算子を次のように定義できる。 NOT := λ p. λ a b. p b a AND := λ p q. p q p OR := λ p q. p p q IFTHENELSE := λ p a b. p a b ほうら、変な記号が並んでいてワケワカメだ。 そういやRubyにもtrue, false, and, or, not, if〜then〜elseってのはあるけど、 ラムダなんちゃらいうこの記号