準備

本を購入
Gaucheをインストール
Vimで、編集中のコードを実行したいときは :!gosh % でできる。

本編

atom?, list?

とりあえずSchemeを書いてみたかったので、p.3に書いてあるコードをちょっと変えて試してみる。

p3.scm

;p.xiii に掲載されているアトムを判定するっぽい関数
(define atom?
    (lambda (x)
        (and (not (pair? x)) (not (null? x)))))
;#t, #fがtrue, falseに対応するっぽい
;評価の結果は表示されないみたいなので、printで出力してみる
(print (atom? (quote 0)))
;出力 : #t

;ここからp.3
(print (atom? 'atom))
(print (atom? 'turkey))
(print (atom? 1483))
(print (atom? 'u))
(print (atom? '*abc$))

;リストかどうか判定するのはlist?かしらん
(print (list? '(atom)))
(print (list? '(atom turkey or)))
;p.3一番下のはエラー

出力は以下のとおり。

:!gosh hello.scm
[No write since last change]
# t
# t
# t
# t
# t
# t
# t
# t

アトムもリストもS式です。あと、空リストももちろんある。対話型インタプリタを使ってみる。 $gosh コマンドで起動。

gosh> (list? ())
# t

car

car というのがあるらしい。リストに含まれる一番目のS式を取り出す関数？

gosh> (car '(a b c))
a
gosh> (car '((a b c) x y z))
(a b c)
gosh> (car '(((hotdogs)) (and) (picke) relish))
((hotdogs))
(car (car '(((hotdogs)) (and) (picke) relish)))

ホットドッグ食べたくなってきた。

cdr

cdr はリストから car した要素を取り除いたリストを返す。

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

cons

cons は任意のS式をリストの最初の要素として追加する関数。

gosh> (cons 'a '(better and jelly))
(a better and jelly)
gosh> (cons '(banana and) '(peanut butter and jelly))
((banana and) peanut butter and jelly)
gosh> (cons 'a (car '((b) c d)))
(a b)

null?

null? で空リストか判定できる。

gosh> (null? '()) 
# t

eq?

eq?で二つの数値以外のアトムが等しいか判定できる。

gosh> (eq? 'Harry 'Harry)
# t