あどけない話

インターネットに関する技術的な話など

2008-02-05から1日間の記事一覧

Scheme でλ計算

Wikipedia のラムダ計算にある例を Scheme で実行して理解してみます。 TRUE と FALSE TRUE と FALSE は簡単です。 ;; TRUE := λx y. x (define TRUE (lambda (x y) x)) ;; FALSE := λx y. y (define FALSE (lambda (x y) y)) AND、OR、NOT 難しいのは、本体…