2009-04-14から1日間の記事一覧
再び、λ楽しいよラムダの時間がやってまいりました。 true=λx.λy.x false=λx.λy.yそうすると、変数bがtrueかfalseをとるとしてb(0)(1)とすると、bがtrueのとき0、falseのとき1を返します。λで条件分岐ができた! 2009-04-09 - きしだのはてな というわけで、…
再び、λ楽しいよラムダの時間がやってまいりました。 true=λx.λy.x false=λx.λy.yそうすると、変数bがtrueかfalseをとるとしてb(0)(1)とすると、bがtrueのとき0、falseのとき1を返します。λで条件分岐ができた! 2009-04-09 - きしだのはてな というわけで、…