2009-02-25から1日間の記事一覧

8章3節の練習問題とか

any-predとevery-predを自分で定義しなさい、ということなので、やってみた。 (define my-any-pred (lambda args (lambda (x) (cond ((null? args) #f) (((car args) x) #t) (else ((apply my-any-pred (cdr args)) x)))))) (define my-every-pred (lambda a…

もうちょっと述語

8章3節、真偽値に関する手続き。 等価述語以外の述語 前回は等価述語だったけど、等価述語以外にも述語はたくさんありますよ、と。 型を判定したり、値の性質を判定したり。 詳しくは追々出てくるっぽい。Schemeには述語を引数にとったり、述語を返したりす…