「「Rubyで作る奇妙なプログラミング言語 ～Esoteric Language～」 発売」記事へのコメント

いまだにラムダ計算がわかりません

[YOUsuke (6796)]

誰かリンゴとバナナで説明してください。

--
妖精哲学の三信
「だらしねぇ」という戒めの心、「歪みねぇ」という賛美の心、「仕方ない」という許容の心

Re:

[kr (10950)]

＞ 誰かリンゴとバナナで説明してください。

よっしゃ、リンゴとバナナね。 おいしい果物に置き換えれば、 小難しいラムダ算法も簡単になるに違いない!

そもそも、ラムダ算法の教科書なんか眺めても、なんだか意味がわからないし。 どれどれ、例えば、こんなことが書いてあるぞ……。

ラムダ算法では、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

Re:いまだにラムダ計算がわかりません

[Deasuke (34806)]

> ところで「Rubyで作る奇妙なプログラミング言語」にはiotaも載ってるのでしょうか?
有名だから乗ってて然るべきだと思いますがねぇ。unlambdaもRubyにはcallccがあるからunlambdaの実装も楽でしょう。

--
Best regards, でぃーすけ