kb84tkhrのブログ

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

2018-06-11から1日間の記事一覧

Reasoned Schemer (007) list?とlisto、など

3. Seeing Old Friends in New Ways 再帰出てきました (define (list? l) (cond ((null? l) #t) ((pair? l) (list? (cdr l))) ((#t #f)))) 翻訳だけすると (defrel (listo l) (conde ((nullo l) #s) ((pairo l) (fresh (d) (cdro l d) (listo d))) (#s #u)))…