2.3 記号データ

2.3.1 クォート

シンボル値的なもの.
atom とも言ったような？

gosh> (define a 1)
a
gosh> (define b 2)
b
gosh> (list a b)
(1 2)
gosh> (list 'a 'b)
(a b)
gosh> (list 'a b)
(a 2)

リストに適用するとリストの全部の要素が全部 quote される:

gosh> (car '(a b c))
a
gosh> (cdr '(a b c))
(b c)

gosh> '(a 1 (b 2))
(a 1 (b 2))

memq の定義でしれっと false っていう定数使ってるけれど gosh さんにはこれない… #f だし….

(define (memq item x)
	(cond
		((null? x) #f)
		((eq? item (car x)) x)
		(else (memq item (cdr x)))))

ところで memq ってなんの略? member query? ＝ω＝;

追記: Scheme 標準だったぽい…! Function: memq obj list

memqは同一性の判定にeq?を、memvはeqv?を、 memberはequal?を使います。

なるほど？？
[mem]ber by [q] (=eq?) ってことかな？＝ω＝;

ex-2.53. quote あれこれお試し

gosh> (list 'a 'b 'c)
(a b c)
gosh> (list (list 'george))
((george))
gosh> (cdr '((x1 x2) (y1 y2)))
((y1 y2))
gosh> (cadr '((x1 x2) (y1 y2)))
(y1 y2)
gosh> (pair? (car '(a short list)))
#f
gosh> (memq 'red '((red shoes) (blue socks)))
#f
gosh> (memq 'red '(red shoes blue socks))
(red shoes blue socks)

ex-2.54. equal?

(define (equal? a b)
	(cond
		((eq? a b) #t)
		((and (null? a) (null? b)) #t)
		((or (null? a) (null? b)) #f)
		((and (pair? a) (pair? b)) 
			(and (equal? (car a) (car b)) (equal? (cdr a) (cdr b))))
		(else #f)))

gosh> (equal? 'a 'a)
#t
gosh> (equal? 'a 'b)
#f

gosh> (equal? '() '())
#t
gosh> (equal? '(a) '())
#f
gosh> (equal? '() '(a))
#f
gosh> (equal? '(a) '(a))
#t

gosh> (equal? '(a) '(b))
#f

追記: (eq? '() '()) は真になる模様. これもシンボル値…?
cond の2行目の判定はこれにマッチするのでなくてよかった模様.

空リストって pair の一種にはならないのね…！(・ω・;

gosh> (pair? ())
#f

; おまけ (Erlang の場合).
erl> is_list([]).
true

修正版:

(define (equal? a b)
	(cond
		((eq? a b) #t)
		((or (null? a) (null? b)) #f)
		((and (pair? a) (pair? b)) 
			(and (equal? (car a) (car b)) (equal? (cdr a) (cdr b))))
		(else #f)))

(最後に (else #f) ってなるの前の条件句と混ぜちゃいたさ少しあるけれど, 可読性がとても落ちそうなのでこのままのほうがよさそう.)

ex-2.55. (car ''abracadabra)

ダブルクォートっぽいけどシングルクォート2つ＞ω＜

p.153 脚注 34 によると, '(a b c) は (quote a b c) という特殊形式の syntax sugar になっている.
これに当てはめると,

(car ''abracadabra)
(car '(quote abracadabra))

であり, (car '(a b c)) が a となるのと同様に (car '(quote abracadabra)) は quote となる.