kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2016-04-01から1ヶ月間の記事一覧

Scheme手習い(12) 継続

第8章「究極のlambda」の続きの続き Scheme手習いもそろそろ終盤 継続ってやつが出てきます 中ボスクラス Schemeはもともと継続を扱う機能を持っているんですが ここではlambdaを使って継続を手作りします たぶん原理的には同じもの では、これはどうでしょ…

Scheme手習い(11) 抽象化、部分適用

第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…

Scheme手習い(10) 高階関数とカリー化

第8章「究極のlambda」では高階関数を学びます まずは一番わかりやすい、引数として関数を渡すパターン いつものremberで、比較のための関数を指定できるようにします (define rember-f (lambda (test? a l) (cond ((null? l) (quote ())) ((test? (car l) a…

Scheme手習い(9) 集合と関数

第7章「友達と親類」では集合と関数を題材に取ります プログラミング的にはあまり新しい話はない気がするので何を書いたらいいものやら 作者の狙いは何 ここまでで覚えた書き方で数学の概念がこんな風に表現できますよ、みたいな感じ? 私はそういう話好きだ…