2016-04-01から1ヶ月間の記事一覧
第8章「究極のlambda」の続きの続き Scheme手習いもそろそろ終盤 継続ってやつが出てきます 中ボスクラス Schemeはもともと継続を扱う機能を持っているんですが ここではlambdaを使って継続を手作りします たぶん原理的には同じもの では、これはどうでしょ…
第8章「究極のlambda」の続き insertRとinsertLを高階関数に書き換えます (define insertL-f (lambda (test?) (lambda (new old l) (cond ((null? l) (quote ())) ((test? (car l) old) (cons new (cons old (cdr l)))) (else (cons (car l) ((insertL-f tes…
第8章「究極のlambda」では高階関数を学びます まずは一番わかりやすい、引数として関数を渡すパターン いつものremberで、比較のための関数を指定できるようにします (define rember-f (lambda (test? a l) (cond ((null? l) (quote ())) ((test? (car l) a…
第7章「友達と親類」では集合と関数を題材に取ります プログラミング的にはあまり新しい話はない気がするので何を書いたらいいものやら 作者の狙いは何 ここまでで覚えた書き方で数学の概念がこんな風に表現できますよ、みたいな感じ? 私はそういう話好きだ…